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 系統首次在頂級數學競賽中取得銀牌成績。