陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」

AIGC动态欢迎阅读

原标题：陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」
关键字：奥林匹克,数学,问题,人工智能,模型
文章来源：机器之心
内容字数：0字

内容摘要：

机器之心报道
编辑：大盘鸡人工智能在数学推理中不断前进。在奥数问题面前，AI 的「智商」往往不太够用。不过，这已经是过去式了。谷歌 DeepMind 用 AI 做出了今年国际数学奥林匹克竞赛 IMO 的真题，并且距拿金牌仅一步之遥。对于 AI 来说，奥数不再是问题了。
IMO 2024 中六个问题的每一个问题满分为 7 分，总分最高 42 分。DeepMind 的系统最终得分为 28 分，意味着解决的 4 个问题都获得了满分 —— 相当于银牌类别的最高分。
‍
DeepMind 文章连接：https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
常用 AI 辅助证明的数学家陶哲轩近期正处在出差的忙碌中，对问题求解引擎 AlphaProof 和 AlphaGeometry2 还未完全消化。但他在自己的博客上对 DeepMind 的 AI 系统参加 IMO 竞赛这件事表达了自己的看法。陶哲轩谈到，这是一项非常伟大的工作，再次改变了我们对哪些基准挑战可以通过 AI 辅助或完全自主的

原文链接：陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」