AIGC動態歡迎閱讀

原標題：谷歌再被OpenAI截胡？訓練數學AI拿下IMO銀牌，不及SearchGPT放了空響…
關鍵字：方式,金牌,問題,模型,幾何
文章來源：夕小瑤科技說
內容字數：0字

內容摘要：

夕小瑤科技說 原創作者 | 海野昨夜谷歌振臂高呼：我們新的數學AI，能在IMO數學競賽達到銀牌水平！
但就在谷歌發文的幾個小時后，OpenAI就偷了谷歌的家：
發布新的搜索方式SearchGPT ，劍指挑戰谷歌的搜索引擎。
谷歌雙模型并用攻克數學難題，離金牌只一分之遙為了能在IMO拿到好成績，谷歌DeepMind使用了兩個新模型：AlphaProof ，以及AlphaGeometry 2 。
AlphaProof是一個全新的數學模型，基于強化學習的數學形式化推理系統；
而AlphaGeometry 2是前身AlphaGeometry的改良版，是專攻幾何問題的神經符號混合系統。
在賽前，DeepMind通過證明或反駁數百萬個數學問題來訓練AlphaProof，并加強了模型的自證能力，以提供完美的解決思路。
而AlphaGeometry 2與前身相比，使用了更大數量級的合成數據，并從頭開始訓練，以加強更復雜的幾何問題的解決能力。經測試，AlphaGeometry 2可以解決過去25年中所有IMO幾何問題的83%。
有沒有人可以告訴我83%的正確率是什么水平？
在本屆IMO數學題中，Alph

原文鏈接：谷歌再被OpenAI截胡？訓練數學AI拿下IMO銀牌，不及SearchGPT放了空響…

聯系作者

文章來源：夕小瑤科技說
作者微信：
作者簡介：