majer 发表于 2022-2-3 20:20:44

自行写代码的AI和能够证明IMO试题的AI

不知道是不是巧合，今天有两个关于AI的大新闻。deepmind的AlphaCode能够参加 Codeforces 上举办的编程比赛。水平排在前54%。

这个大新闻掩盖了微软赞助的openAI同天发布的数学证明器。后者可以就（竞赛难度的）数学问题给出证明。后者的神经网络已经足以参加美国高中生的数学联赛，同时也能部分证明IMO上的试题。

http://jandan.net/p/110233
页: [1]
查看完整版本: 自行写代码的AI和能够证明IMO试题的AI