Google DeepMind 新 AI 系统 AlphaProof 和 A​​lphaGeometry 2 能在 2024 年国际数学奥林匹克(IMO)竞赛获得银牌，解决了六道题中的四道，获得了 28/42 分，标志着 AI 在数学推理方面取得重大突破。IMO 是历史最悠久、规模最大、最负盛名的青年数学家竞赛，自 1959 年以来每年举办一次。选手要解决代数、组合学、几何和数论方面六个异常困难的问题。DeepMind 表示，IMO 的数学问题被人工翻译成数学语言，供系统理解。在正式比赛中，学生们分两次提交答案，每次 4.5 小时。而 AI 系统在几分钟内解决了一个问题，花了三天时间解决其他问题。基于强化学习的推理系统 AlphaProof 解决了两个代数问题和一个数论问题并被证明答案正确，这些问题包括今年 IMO 比赛中只有 5 名选手解决的最难的问题。AlphaGeometry 2 证明了几何问题，但两个组合问题仍未解决。

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
https://news.sciencenet.cn/htmlnews/2024/7/527125.shtm