Gemini Deep Think 在 2025 IMO 达到官方金牌标准，首次以自然语言端到端完成 6 题中的 5 题

Google DeepMind 于 7 月 21 日宣布，一个 advanced version of Gemini with Deep Think 在 2025 IMO 上获得 35/42 分，达到金牌标准。与 2024 年 AlphaProof / AlphaGeometry 需要人工形式化不同，该系统直接读取官方自然语言题目并输出自然语言证明；IMO 官方阅卷者按正式标准评分。它完整解决 6 题中的 5 题，并在 4.5 小时竞赛时间尺度内工作。