首頁DeepMind的AI優於IMO金牌得主
Google DeepMind 的最新 AI，AlphaGeometry2，通過在國際數學奧林匹克（IMO）幾何問題解決中超越平均金牌得主的表現引起轟動。此為去年一月推出的 AlphaGeometry 進階版，據報導解決了过去 25 年 IMO 競賽中 84% 的幾何問題。
你可能好奇為何 DeepMind 專注於高中數學競賽。他們認為，破解這些具有挑戰性的歐幾里得幾何問題可能是發展更先進 AI 的墊腳石。解決這些問題需要邏輯推理和探索多種解題路徑的能力，這些技能對未來通用 AI 系統至關重要。
今年夏天，DeepMind 展示了一個結合 AlphaGeometry2 與 AlphaProof 的系統，後者是專為形式數學推理設計的另一 AI 模型。兩者共同解決了 2024 年 IMO 的六道題目中的四道。此方法可能延伸至數學與科學的其他領域，如複雜工程計算。
AlphaGeometry2 由幾個關鍵組件驅動，包括來自 Google Gemini 家族的語言模型和一個「符號引擎」。Gemini 模型協助符號引擎應用數學規則尋找解法，為幾何定理生成可行證明。
IMO 考試中的典型幾何問題圖表。圖片來源：Google（在新視窗中開啟） 在 IMO 中，幾何問題通常要求在圖表中添加「構造」，如點、線或圓，然後再解決問題。AlphaGeometry2 的 Gemini 模型預測哪些構造可能有幫助，引導符號引擎進行推導。
運作方式如下：Gemini 模型以形式數學語言建議步驟和構造，引擎隨後檢查其邏輯一致性。AlphaGeometry2 使用搜尋演算法同時探索多個解題路徑，並將可能有用的發現儲存在共享知識庫中。
當 AlphaGeometry2 結合 Gemini 模型的建議與符號引擎的已知原理形成完整證明時，問題被視為「已解決」。
由於可用幾何訓練數據稀缺，DeepMind 創建了合成數據來訓練 AlphaGeometry2 的語言模型，生成了超過 3 億個不同複雜度的定理和證明。
DeepMind 團隊在 2000 至 2024 年 IMO 競賽的 45 道幾何問題（擴展為 50 道）上測試了 AlphaGeometry2，它解決了 42 道，超越平均金牌得主分數 40.9。
然而，AlphaGeometry2 有其局限性。它在涉及變量點數、非線性方程和不等式的問題上表現不佳。雖然它不是首個達到金牌水平的 AI，但它是首個在如此大量問題集上實現此成績的 AI。
在面對 29 道尚未出現在競賽中的 IMO 提名問題時，AlphaGeometry2 僅解決了 20 道。
研究結果可能引發關於構建 AI 系統最佳方法的進一步爭論。我們應專注於符號操作（AI 使用規則操作代表知識的符號），還是神經網絡（模仿人腦結構並從數據學習）？
AlphaGeometry2 採用混合方法，結合 Gemini 模型的神經網絡架構與基於規則的符號引擎。
神經網絡支持者認為，智能行為可從大量數據和計算能力中湧現。相反，符號 AI 支持者認為它更適合編碼知識、推理複雜場景並解釋解法。
卡內基梅隆大學專攻 AI 的電腦科學教授 Vince Conitzer 評論了 IMO 等基準測試的顯著進展與語言模型在簡單常識問題上的持續掙扎之間的對比。他強調需要更好地理解這些系統及其潛在風險。
AlphaGeometry2 表明，結合符號操作與神經網絡可能是實現通用 AI 的有前景路徑。有趣的是，DeepMind 團隊發現 AlphaGeometry2 的語言模型可在無符號引擎幫助下生成部分問題解法，暗示語言模型未來可能實現自給自足。
然而，團隊指出，在語言模型速度提升和幻覺問題解決之前，符號引擎等工具對數學應用仍不可或缺。
相關文章
華納音樂收購AI歸因初創公司Sureel AI
華納音樂集團（WMG）於週三確認，其正在收購Sureel AI，一家專注於人工智慧歸因的初創公司。Sureel的專有技術為音樂曲目生成“AI DNA”，將其分解為各個組成部分，以追蹤人工智慧模型如何利用這些元素。透過此次收購，WMG旨在增強其監控其藝術家和詞曲創作者的作品在人工智慧生成內容中被使用或用於訓練人工智慧模型的能力。“將Sureel整合到WMG中，增強了我們的保護、控制和變現能力，確保創意社羣保留對其智慧財產權、姓名、肖像、形象和聲音的控制權，”WMG執行長Robert Kync
亞馬遜推出“Alexa for Shopping”，同時將Rufus邊緣化
亞馬遜推出了“Alexa for Shopping”，將 Rufus 購物聊天機器人 Alexa+ 整合到應用程式、網站和 Echo Show 裝置中。該助手回答產品查詢、比較商品、跟蹤價格，並支援購物提醒。它還處理計劃中的購物操作和符合條件的自動購買。據該公司稱，“Alexa for Shopping”將 Rufus 的產品專業知識與 Alexa+ 的個性化助手上下文相結合。亞馬遜表示，Rufus 在 2025 年協助了超過 3 億客戶進行產品研究、比較和購買。GeekWire 報道稱，
微軟、Azure 與 AI 技術共同對抗加州野火風險
微軟投資於人工智慧驅動的野火偵測技術，其首席副總裁暨首席數據科學家胡安·拉維斯塔·費雷斯（Juan Lavista Ferres）針對減輕環境損害的策略進行了探討。根據美國國家航空暨太空總署（NASA）指出，氣候變遷影響地球上的每個人，其表現為氣溫上升、降雨模式改變以及海平面上升。NASA 指出，有確鑿證據顯示地球正以前所未有的速度變暖，而人類活動是主要驅動因素。隨著全球氣溫上升，野火構成的威脅日
相關專題推薦
音樂創作
最佳用於歌曲草稿的 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
評論 (34)
0/500
![DonaldAdams]()
AlphaGeometry2這表現也太猛了吧！直接超越IMO金牌平均水準，感覺數學競賽的未來要徹底改寫了。不過AI在幾何證明上這麼強，以後學生還需要苦練那些輔助線技巧嗎？🤔 既期待又怕被取代啊...
![AnthonyMoore]()
C'est impressionnant de voir à quelle vitesse AlphaGeometry2 a été développé après la première version ! 😮 Mais je me demande comment cela se traduirait dans le monde réel, au-delà des compétitions. Peut-être pour la conception d'algorithmes complexes ? Cela donne aussi un peu peur pour l'avenir des métiers très spécialisés...
![BenHernández]()
AlphaGeometry2って前回のバージョンからかなり進化してるんですね。IMO金メダリストを超えるって凄すぎる😳 でもこれがどんどん研究が進んで、いずれ人間が解けない問題もAIが解く時代が来るのかな？ちょっと怖いかも
![KevinBrown]()
Impressionnant mais un peu flippant... Si une IA peut battre des médaillés d'or aux Olympiades, qu'est-ce qui nous reste comme domaines où les humains sont encore les meilleurs ? 😅 J'espère qu'on va pas tous devenir obsolètes !
![GregoryWalker]()
This AI beating IMO champs is wild! 🧠 Geometry’s tough, but AlphaGeometry2’s out here crushing it. Makes me wonder if it’ll start tutoring kids soon! 😄
![AnthonyMoore]()
Incroyable, AlphaGeometry2 dépasse les médaillés d'or de l'IMO en géométrie ! 😲 Ça montre à quel point l'IA avance vite, mais je me demande si elle pourrait un jour résoudre des problèmes plus... humains, comme gérer mes impôts !
Google DeepMind 的最新 AI，AlphaGeometry2，通過在國際數學奧林匹克（IMO）幾何問題解決中超越平均金牌得主的表現引起轟動。此為去年一月推出的 AlphaGeometry 進階版，據報導解決了过去 25 年 IMO 競賽中 84% 的幾何問題。
你可能好奇為何 DeepMind 專注於高中數學競賽。他們認為，破解這些具有挑戰性的歐幾里得幾何問題可能是發展更先進 AI 的墊腳石。解決這些問題需要邏輯推理和探索多種解題路徑的能力，這些技能對未來通用 AI 系統至關重要。
今年夏天，DeepMind 展示了一個結合 AlphaGeometry2 與 AlphaProof 的系統，後者是專為形式數學推理設計的另一 AI 模型。兩者共同解決了 2024 年 IMO 的六道題目中的四道。此方法可能延伸至數學與科學的其他領域，如複雜工程計算。
AlphaGeometry2 由幾個關鍵組件驅動，包括來自 Google Gemini 家族的語言模型和一個「符號引擎」。Gemini 模型協助符號引擎應用數學規則尋找解法，為幾何定理生成可行證明。
在 IMO 中，幾何問題通常要求在圖表中添加「構造」，如點、線或圓，然後再解決問題。AlphaGeometry2 的 Gemini 模型預測哪些構造可能有幫助，引導符號引擎進行推導。
運作方式如下：Gemini 模型以形式數學語言建議步驟和構造，引擎隨後檢查其邏輯一致性。AlphaGeometry2 使用搜尋演算法同時探索多個解題路徑，並將可能有用的發現儲存在共享知識庫中。
當 AlphaGeometry2 結合 Gemini 模型的建議與符號引擎的已知原理形成完整證明時，問題被視為「已解決」。
由於可用幾何訓練數據稀缺，DeepMind 創建了合成數據來訓練 AlphaGeometry2 的語言模型，生成了超過 3 億個不同複雜度的定理和證明。
DeepMind 團隊在 2000 至 2024 年 IMO 競賽的 45 道幾何問題（擴展為 50 道）上測試了 AlphaGeometry2，它解決了 42 道，超越平均金牌得主分數 40.9。
然而，AlphaGeometry2 有其局限性。它在涉及變量點數、非線性方程和不等式的問題上表現不佳。雖然它不是首個達到金牌水平的 AI，但它是首個在如此大量問題集上實現此成績的 AI。
在面對 29 道尚未出現在競賽中的 IMO 提名問題時，AlphaGeometry2 僅解決了 20 道。
研究結果可能引發關於構建 AI 系統最佳方法的進一步爭論。我們應專注於符號操作（AI 使用規則操作代表知識的符號），還是神經網絡（模仿人腦結構並從數據學習）？
AlphaGeometry2 採用混合方法，結合 Gemini 模型的神經網絡架構與基於規則的符號引擎。
神經網絡支持者認為，智能行為可從大量數據和計算能力中湧現。相反，符號 AI 支持者認為它更適合編碼知識、推理複雜場景並解釋解法。
卡內基梅隆大學專攻 AI 的電腦科學教授 Vince Conitzer 評論了 IMO 等基準測試的顯著進展與語言模型在簡單常識問題上的持續掙扎之間的對比。他強調需要更好地理解這些系統及其潛在風險。
AlphaGeometry2 表明，結合符號操作與神經網絡可能是實現通用 AI 的有前景路徑。有趣的是，DeepMind 團隊發現 AlphaGeometry2 的語言模型可在無符號引擎幫助下生成部分問題解法，暗示語言模型未來可能實現自給自足。
然而，團隊指出，在語言模型速度提升和幻覺問題解決之前，符號引擎等工具對數學應用仍不可或缺。
華納音樂收購AI歸因初創公司Sureel AI
華納音樂集團（WMG）於週三確認，其正在收購Sureel AI，一家專注於人工智慧歸因的初創公司。Sureel的專有技術為音樂曲目生成“AI DNA”，將其分解為各個組成部分，以追蹤人工智慧模型如何利用這些元素。透過此次收購，WMG旨在增強其監控其藝術家和詞曲創作者的作品在人工智慧生成內容中被使用或用於訓練人工智慧模型的能力。“將Sureel整合到WMG中，增強了我們的保護、控制和變現能力，確保創意社羣保留對其智慧財產權、姓名、肖像、形象和聲音的控制權，”WMG執行長Robert Kync
亞馬遜推出“Alexa for Shopping”，同時將Rufus邊緣化
亞馬遜推出了“Alexa for Shopping”，將 Rufus 購物聊天機器人 Alexa+ 整合到應用程式、網站和 Echo Show 裝置中。該助手回答產品查詢、比較商品、跟蹤價格，並支援購物提醒。它還處理計劃中的購物操作和符合條件的自動購買。據該公司稱，“Alexa for Shopping”將 Rufus 的產品專業知識與 Alexa+ 的個性化助手上下文相結合。亞馬遜表示，Rufus 在 2025 年協助了超過 3 億客戶進行產品研究、比較和購買。GeekWire 報道稱，
微軟、Azure 與 AI 技術共同對抗加州野火風險
微軟投資於人工智慧驅動的野火偵測技術，其首席副總裁暨首席數據科學家胡安·拉維斯塔·費雷斯（Juan Lavista Ferres）針對減輕環境損害的策略進行了探討。根據美國國家航空暨太空總署（NASA）指出，氣候變遷影響地球上的每個人，其表現為氣溫上升、降雨模式改變以及海平面上升。NASA 指出，有確鑿證據顯示地球正以前所未有的速度變暖，而人類活動是主要驅動因素。隨著全球氣溫上升，野火構成的威脅日
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
AlphaGeometry2這表現也太猛了吧！直接超越IMO金牌平均水準，感覺數學競賽的未來要徹底改寫了。不過AI在幾何證明上這麼強，以後學生還需要苦練那些輔助線技巧嗎？🤔 既期待又怕被取代啊...
C'est impressionnant de voir à quelle vitesse AlphaGeometry2 a été développé après la première version ! 😮 Mais je me demande comment cela se traduirait dans le monde réel, au-delà des compétitions. Peut-être pour la conception d'algorithmes complexes ? Cela donne aussi un peu peur pour l'avenir des métiers très spécialisés...
AlphaGeometry2って前回のバージョンからかなり進化してるんですね。IMO金メダリストを超えるって凄すぎる😳 でもこれがどんどん研究が進んで、いずれ人間が解けない問題もAIが解く時代が来るのかな？ちょっと怖いかも
Impressionnant mais un peu flippant... Si une IA peut battre des médaillés d'or aux Olympiades, qu'est-ce qui nous reste comme domaines où les humains sont encore les meilleurs ? 😅 J'espère qu'on va pas tous devenir obsolètes !
This AI beating IMO champs is wild! 🧠 Geometry’s tough, but AlphaGeometry2’s out here crushing it. Makes me wonder if it’ll start tutoring kids soon! 😄
Incroyable, AlphaGeometry2 dépasse les médaillés d'or de l'IMO en géométrie ! 😲 Ça montre à quel point l'IA avance vite, mais je me demande si elle pourrait un jour résoudre des problèmes plus... humains, comme gérer mes impôts !
