AlphaProof + AlphaGeometry 2 首次达到 IMO 银牌水平，formal reasoning 成为可实证的高阶数学能力路线

Google DeepMind 于 7 月 25 日宣布 AlphaProof 与 AlphaGeometry 2 联合解决 2024 IMO 六题中的四题，按官方评分达到银牌标准。AlphaProof 使用 Lean、语言模型与 AlphaZero-style reinforcement learning / search；AlphaGeometry 2 处理几何题。题目需先由专家手工翻译到形式语言，部分题目计算耗时长达数天，因此该事件展示的是 formal / neuro-symbolic reasoning 的能力突破，而非端到端自然语言竞赛能力。