2025-11-12

DeepMind 于 11 月 12 日在《自然》（Nature）发表 AlphaProof 系统完整论文，公开其 2024 年 IMO 银牌成绩背后的技术细节。AlphaProof 将 Gemini 与强化学习引擎结合，在 Lean 形式化语言中完成证明，解决了当年最难的第 6 题（仅 5 名人类参赛者完全解答）。论文标志神经符号 AI 在数学推理上的里程碑。