首頁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將補充或重新定義人類數學創意的討論。
相關文章
內部細節曝光：下一代 Gemini 算力緊張，內部團隊在開發優先順序和資源分配上存在分歧
報告顯示，谷歌備受期待的下一代 Gemini 模型釋出已被推遲。由於內部在開發優先順序和資源分配上存在分歧，加上計算能力有限以及複雜的審批流程，導致釋出時間延後了兩個月。儘管谷歌擁有定製的 TPU 晶片，但由於模型訓練、Google Cloud 服務以及眾多消費和企業級 AI 應用對計算資源的需求相互競爭，谷歌仍面臨計算資源短缺的問題。目前，高層管理人員正透過組織結構調整來解決這些部門間的衝突。與此同時，領導層也發生了變化，聯合創始人謝爾蓋·布林越來越多地參與到核心模型訓練中，並倡導將資源專門用於
OpenAI 否認增長放緩擔憂，稱多個業務部門加速發展
針對外界對其銷售增長放緩及未達內部基準的質疑，人工智慧領域的領軍企業 OpenAI 於 4 月 28 日（星期二）發表了一份信心十足的宣告。該公司澄清稱，其消費產品和企業服務正在快速推進，直接駁斥了近期關於業務放緩的猜測。針對該公司“未達成多項內部目標”的說法，OpenAI 將這些報道斥為“典型的標題黨”。公司強調了企業對 AI 整合的強勁需求，並指出其廣告業務早期增長前景良好。據 OpenAI 內部人士透露，公司內部情緒依然樂觀。儘管市場競爭日益激烈，但公司正在向投資者傳遞信心，聲稱其商業
阿里巴巴超級盃：Qwen3.8-Max 重磅登場，程式碼與辦公工具能力全面升級
阿里巴巴正式釋出了Qwen3.8-Max，這是一款擁有2.4萬億引數的下一代基礎大模型。這一重大AI進展在編碼和專業辦公任務等核心領域帶來了顯著的效能提升，展現了強大的技術能力。在權威的Arena大模型排名中，Qwen3.8-Max取得了令人矚目的成績，僅次於Anthropic的Claude系列，位居行業前列。這一里程碑標誌著國內大模型在處理複雜任務方面取得了快速進展，為開發者和企業使用者提供了先進的智慧工具。該模型的API現已在Qwen AI平臺上上線，並整合到新推出的“Qwen Offic
相關專題推薦
音樂創作
最佳用於歌曲草稿的 AI 旋律創作工具
2026 年最新最佳頂級評分 AI 旋律創作工具，助力歌曲草稿創作！XIX.AI 精心策劃了一套極具影響力且經過嚴格真實世界測試的變革性合集，旨在提供最佳的創作體驗。您可以找到詳細的免費與付費版對比、精準的排名以及必試選項，這些工具旨在幫助您輕鬆創作出令人驚豔的歌曲草稿，並顯著提升您的創意生產力。立即探索，發現您的完美工具！
8 個工具
xix.ai
聊天機器人
最適合面試練習的 AI 對話訓練工具
2026 年最新、最受好評的 AI 面試對話訓練工具，盡在 XIX.AI！這份精心精選的清單收錄了多款功能強大、顛覆傳統的工具，這些工具均經過嚴格的實戰測試，能提供精準的回饋。 您將在此找到免費版與付費版的比較分析，以及詳細的排名榜單，助您挑選必試的選項，從而提升自信與技能。立即探索，發掘助您在面試中脫穎而出的完美工具！
12 個工具
xix.ai
設計與藝術
最適合進行創意實驗的 AI 風格轉移工具
2026 年最新、最佳且評價最高的 AI 風格轉移工具，助您進行創意實驗！XIX.AI 精心精選了一系列強大且具革命性的必試工具，這些工具經實際測試與嚴格評比，能帶來卓越成果。這些頂尖解決方案能加速內容創作並開啟無盡的創意可能性，協助創作者顯著提升生產力。 立即探索，找出最適合您的工具，並從今天開始創作吧！
9 個工具
xix.ai
漫畫創作
最適合視覺敘事的 AI 對話氣泡工具
2026 年最新、最受好評的視覺敘事 AI 對話氣泡工具，現已登陸 XIX.AI！這份精心挑選的合集收錄了強大且具顛覆性的工具，能協助創作者提升生產力並突破創作瓶頸。 查看免費版與付費版的比較、參考實際測試結果，並查閱最新排行榜，找出最適合打造引人入勝視覺敘事的必試解決方案。立即探索，發掘您的理想工具！
10 個工具
xix.ai
會議助理
頂尖 AI 會議摘要工具：清晰追蹤決策與後續行動
2026 年最新高評價最佳 AI 會議摘要工具，助您清晰追蹤決策並輕鬆進行後續跟進。這份精選清單展示了一系列強大且具顛覆性的解決方案，透過自動化會議記錄、識別關鍵行動項目，以及簡化所有專案的團隊協作，大幅提升生產力。 獲取免費版與付費版的比較分析，搭配實際測試報告及每週更新的排行榜，助您找到最合適的工具。立即探索，釋放您的 AI 優勢！
9 個工具
xix.ai
數據分析
最佳人工智慧資料清洗工具：快速處理缺失值與重複資料
2026年最新、最優秀且評分最高的AI資料清洗工具，可快速處理缺失值與重複資料問題。這份精心挑選的清單展示了那些功能強大、能帶來顛覆性變革的解決方案，可顯著提升工作效率。所有候選工具都經過了嚴格的實際應用測試，以確保其穩定性。您可以獲取免費版與付費版的對比資訊，找出最符合您需求的必備工具。即刻訪問XIX.AI，開啟您的AI優勢之旅。
11 個工具
xix.ai
評論 (1)
0/500
![StevenGreen]()
¿Un AI ganando oro en la IMO? 😳 Esto es increíble, pero también me preocupa un poco. Si ya supera a los mejores matemáticos humanos, ¿qué pasará con la educación? ¿Deberíamos replantearnos cómo enseñamos matemáticas en el futuro? Al mismo tiempo, es fascinante ver hasta dónde puede llegar la IA.
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將補充或重新定義人類數學創意的討論。
內部細節曝光：下一代 Gemini 算力緊張，內部團隊在開發優先順序和資源分配上存在分歧
報告顯示，谷歌備受期待的下一代 Gemini 模型釋出已被推遲。由於內部在開發優先順序和資源分配上存在分歧，加上計算能力有限以及複雜的審批流程，導致釋出時間延後了兩個月。儘管谷歌擁有定製的 TPU 晶片，但由於模型訓練、Google Cloud 服務以及眾多消費和企業級 AI 應用對計算資源的需求相互競爭，谷歌仍面臨計算資源短缺的問題。目前，高層管理人員正透過組織結構調整來解決這些部門間的衝突。與此同時，領導層也發生了變化，聯合創始人謝爾蓋·布林越來越多地參與到核心模型訓練中，並倡導將資源專門用於
OpenAI 否認增長放緩擔憂，稱多個業務部門加速發展
針對外界對其銷售增長放緩及未達內部基準的質疑，人工智慧領域的領軍企業 OpenAI 於 4 月 28 日（星期二）發表了一份信心十足的宣告。該公司澄清稱，其消費產品和企業服務正在快速推進，直接駁斥了近期關於業務放緩的猜測。針對該公司“未達成多項內部目標”的說法，OpenAI 將這些報道斥為“典型的標題黨”。公司強調了企業對 AI 整合的強勁需求，並指出其廣告業務早期增長前景良好。據 OpenAI 內部人士透露，公司內部情緒依然樂觀。儘管市場競爭日益激烈，但公司正在向投資者傳遞信心，聲稱其商業
阿里巴巴超級盃：Qwen3.8-Max 重磅登場，程式碼與辦公工具能力全面升級
阿里巴巴正式釋出了Qwen3.8-Max，這是一款擁有2.4萬億引數的下一代基礎大模型。這一重大AI進展在編碼和專業辦公任務等核心領域帶來了顯著的效能提升，展現了強大的技術能力。在權威的Arena大模型排名中，Qwen3.8-Max取得了令人矚目的成績，僅次於Anthropic的Claude系列，位居行業前列。這一里程碑標誌著國內大模型在處理複雜任務方面取得了快速進展，為開發者和企業使用者提供了先進的智慧工具。該模型的API現已在Qwen AI平臺上上線，並整合到新推出的“Qwen Offic
2026 年最新最佳頂級評分 AI 旋律創作工具，助力歌曲草稿創作！XIX.AI 精心策劃了一套極具影響力且經過嚴格真實世界測試的變革性合集，旨在提供最佳的創作體驗。您可以找到詳細的免費與付費版對比、精準的排名以及必試選項，這些工具旨在幫助您輕鬆創作出令人驚豔的歌曲草稿，並顯著提升您的創意生產力。立即探索，發現您的完美工具！
8 個工具
xix.ai
2026 年最新、最受好評的 AI 面試對話訓練工具，盡在 XIX.AI！這份精心精選的清單收錄了多款功能強大、顛覆傳統的工具，這些工具均經過嚴格的實戰測試，能提供精準的回饋。 您將在此找到免費版與付費版的比較分析，以及詳細的排名榜單，助您挑選必試的選項，從而提升自信與技能。立即探索，發掘助您在面試中脫穎而出的完美工具！
12 個工具
xix.ai
2026 年最新、最佳且評價最高的 AI 風格轉移工具，助您進行創意實驗！XIX.AI 精心精選了一系列強大且具革命性的必試工具，這些工具經實際測試與嚴格評比，能帶來卓越成果。這些頂尖解決方案能加速內容創作並開啟無盡的創意可能性，協助創作者顯著提升生產力。 立即探索，找出最適合您的工具，並從今天開始創作吧！
9 個工具
xix.ai
2026 年最新、最受好評的視覺敘事 AI 對話氣泡工具，現已登陸 XIX.AI！這份精心挑選的合集收錄了強大且具顛覆性的工具，能協助創作者提升生產力並突破創作瓶頸。 查看免費版與付費版的比較、參考實際測試結果，並查閱最新排行榜，找出最適合打造引人入勝視覺敘事的必試解決方案。立即探索，發掘您的理想工具！
10 個工具
xix.ai
2026 年最新高評價最佳 AI 會議摘要工具，助您清晰追蹤決策並輕鬆進行後續跟進。這份精選清單展示了一系列強大且具顛覆性的解決方案，透過自動化會議記錄、識別關鍵行動項目，以及簡化所有專案的團隊協作，大幅提升生產力。 獲取免費版與付費版的比較分析，搭配實際測試報告及每週更新的排行榜，助您找到最合適的工具。立即探索，釋放您的 AI 優勢！
9 個工具
xix.ai
2026年最新、最優秀且評分最高的AI資料清洗工具，可快速處理缺失值與重複資料問題。這份精心挑選的清單展示了那些功能強大、能帶來顛覆性變革的解決方案，可顯著提升工作效率。所有候選工具都經過了嚴格的實際應用測試，以確保其穩定性。您可以獲取免費版與付費版的對比資訊，找出最符合您需求的必備工具。即刻訪問XIX.AI，開啟您的AI優勢之旅。
11 個工具
xix.ai
¿Un AI ganando oro en la IMO? 😳 Esto es increíble, pero también me preocupa un poco. Si ya supera a los mejores matemáticos humanos, ¿qué pasará con la educación? ¿Deberíamos replantearnos cómo enseñamos matemáticas en el futuro? Al mismo tiempo, es fascinante ver hasta dónde puede llegar la IA.
