Gemini 拿下 IMO 金牌水准：自然语言解出 5 题夺 35 分
Google DeepMind 宣布搭载 Deep Think 的高阶版 Gemini 在 IMO 2025 达到金牌水准。模型在 4.5 小时内纯用自然语言答出 6 道题中的 5 道，拿下 35 分。相比去年需转换形式语言且耗费数天的系统，这次完全端到端运行，后续将推送给 Google AI Ultra 订阅者。
AlphaProof
AlphaProof 与 AlphaGeometry 2 解出 IMO 竞赛 4 题：首次达银牌水平
研究团队推出结合强化学习与形式化语言的 AlphaProof 以及 AlphaGeometry 2。两者在 2024 年国际数学奥林匹克竞赛中联手解出 6 道题中的 4 道，拿到 28 分并达到银牌线。这是 AI 系统首次在顶级数学竞赛中取得银牌成绩。