2025-07-21

Google DeepMind 7 月 21 日宣布，其增强版 Gemini Deep Think 在国际数学奥林匹克竞赛（IMO）中获得 35 分（满分 42），达到金牌分数线，并获得官方认证。该模型首次以自然语言端到端生成严谨数学证明，在 4.5 小时竞赛时限内完成，相较 2024 年需翻译成形式语言的 AlphaProof/AlphaGeometry 2 方案是范式转变。该能力将先向受信任的数学家与 Google AI Ultra 订阅者开放。