《自然》杂志发表成果，DeepMind 推出「数学做题家 AI」AlphaProof，它成功证明复杂数学定理，在 2024 年国际数学奥林匹克竞赛中获相当于银牌的成绩，展示了 AI 在高难度数学推理领域的显著进步。DeepMind 曾透露 2004 年其混合 AI 系统在 IMO 竞赛中表现优异。AlphaProof 专为证明数学命题设计，超越了此前最先进的 AI 模型，还联合 AlphaGeometry 解决了今年竞赛 6 道题中的 4 道。不过，它目前存在局限，未来研究应拓展其通用性和适应性，克服障碍后有望助力数学家攻克难题，推动形式化证明与 AI 深度融合。