DeepMind的AI在2025年數學奧林匹克奪金

DeepMind的AI在數學推理上實現驚人突破，在2025年國際數學奧林匹克（IMO）奪得金牌，僅一年後即從2024年的銀牌躍升。此突破凸顯AI在解決需要人類創意的複雜抽象問題上的成長實力。本文探討DeepMind的轉型歷程、關鍵技術進展及此里程碑的廣泛影響。

國際數學奧林匹克的重要性

自1959年起，國際數學奧林匹克一直是全球頂尖的高中生數學競賽。它以代數、幾何、數論及組合數學的六道複雜題目挑戰參賽者，需展現卓越的創造力、邏輯及優雅的證明。

對AI而言，國際數學奧林匹克是一項艱鉅考驗。不同於模式識別或圍棋等策略遊戲，奧林匹克數學需要抽象推理及新穎想法的合成——這些長期被認為是人類獨有的技能。因此，國際數學奧林匹克成為衡量AI朝人類智能進展的基準。

2024年的銀牌里程碑

2024年，DeepMind推出兩款針對國際數學奧林匹克問題的AI系統：AlphaProof及AlphaGeometry 2，均採用「神經-符號」AI，結合大型語言模型（LLMs）與符號邏輯。

AlphaProof使用Lean（一種形式化數學語言）進行證明。它整合DeepMind的大型語言模型Gemini與以掌握棋盤遊戲聞名的強化學習系統AlphaZero。Gemini將問題翻譯成Lean，生成邏輯步驟，而AlphaProof則在數百萬多樣化數學問題上訓練，透過自我改進精進技能。

AlphaGeometry 2在幾何學表現卓越，Gemini預測輔助構造，符號引擎處理推導。此混合方法使其能解決複雜幾何問題。

這兩個系統解決了六道國際數學奧林匹克題目中的四道——代數兩道、數論一道、幾何一道，得分28/42，獲得銀牌。這標誌著AI的歷史性成就，儘管依賴人類翻譯及大量計算資源。

奪金的關鍵創新

DeepMind在2025年躍升至金牌，源於重大技術進展。

1. 自然語言證明

關鍵轉變是使用自然語言進行證明，無需專家將問題翻譯成形式化語言。升級版Gemini具備Deep Think功能，可直接處理問題，草擬非正式證明，內部形式化關鍵步驟，並提供清晰的英文證明。透過人類反饋的強化學習（RLHF）確保簡潔、邏輯的解法。

Gemini Deep Think以更長的上下文窗口及更多計算資源支援多頁推理。它採用平行推理，生成數百條解決路徑，由監督者排序最佳路徑，類似人類腦力激盪。

2. 先進訓練技術

Gemini Deep Think在來自數學論壇、arXiv及大學問題集的10萬個解題語料庫上進行微調，由人類導師過濾錯誤。透過對驗證子引理的逐步獎勵強化學習，引導模型生成簡潔證明。訓練歷時三個月，使用2500萬TPU小時。

3. 平行處理能力

平行化至關重要，多條推理分支同時探索。資源動態轉向有前景的路徑，特別適用於組合數學。此方法由DeepMind的TPU v5叢集支援，類似人類在完整證明前測試不等式的策略。

DeepMind在2025年國際數學奧林匹克的勝利

為確保公平，DeepMind在比賽前三週凍結模型權重，過濾未公開的問題解法。比賽期間，Gemini Deep Think在無網路連線下處理六道純文字題目，使用相當於筆電的計算能力。它在三小時內完成證明，五道題目獲得滿分，總分35/42，奪得金牌。AI的證明被讚為嚴謹且徹底，符合人類標準。

對AI與數學的影響

DeepMind的成功顯示AI朝人工通用智能（AGI）的進展，因國際數學奧林匹克問題需要高級推理。對數學而言，Gemini Deep Think等AI工具可協助探索新定理、驗證猜想及簡化證明，讓數學家專注於概念性工作。然而，AI在教育及競賽中的角色引發了對未來結構的討論。

未來展望

儘管某些數學挑戰仍存，DeepMind的快速進展表明AI可能很快能應對重大未解問題。2025年國際數學奧林匹克的勝利凸顯AI邏輯推理的進步，引發關於AI將補充或重新定義人類數學創意的討論。