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

文章预览

机器之心报道 编辑：大盘鸡 人工智能在数学推理中不断前进。 在奥数问题面前，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 竞赛这件事表达了自己的看法。 陶哲轩谈到，这是一项非常伟大的工作， ………………………………