人類智力最后的堡壘被攻破？國際數(shù)學(xué)奧林匹克競賽傳來震撼消息——谷歌和OpenAI的AI模型首次擊敗90%人類選手，斬獲金牌。這一突破標(biāo)志著人工智能已具備頂尖數(shù)學(xué)推理能力，距離協(xié)助人類破解未解難題僅一步之遙。

AI首次達(dá)到人類頂級數(shù)學(xué)推理水平

在澳大利亞昆士蘭州陽光海岸舉行的第66屆國際數(shù)學(xué)奧林匹克(IMO)上，谷歌DeepMind和OpenAI的AI模型均解出6道題中的5道，達(dá)到金牌分?jǐn)?shù)線。這一成績超越了全球90%的人類參賽者——本屆賽事630名選手中僅67人(約11%)獲得金牌。

"這是AI推理能力的里程碑時刻。"布朗大學(xué)數(shù)學(xué)教授、谷歌DeepMind訪問研究員朱恩赫·榮（Junehyuk Jung）表示，他曾在2003年作為學(xué)生獲得IMO金牌。"當(dāng)AI能用自然語言解決復(fù)雜推理問題時，人類與AI的數(shù)學(xué)研究協(xié)作將成為可能。"

從專用系統(tǒng)到通用智能的跨越

與以往AI數(shù)學(xué)系統(tǒng)不同，今年的突破具有革命性意義：

• 自然語言理解：首次完全使用自然語言處理數(shù)學(xué)問題，而非形式化編程語言
• 通用推理模型：谷歌Gemini Deep Think和OpenAI實(shí)驗(yàn)?zāi)Ｐ途鶠橥ㄓ肁I，未針對數(shù)學(xué)問題進(jìn)行特殊訓(xùn)練
• 限時解題：在官方規(guī)定的4.5小時內(nèi)完成，與人類選手相同條件

谷歌去年使用專用數(shù)學(xué)系統(tǒng)僅獲銀牌，今年轉(zhuǎn)向通用模型后實(shí)現(xiàn)突破。"這證明AI的通用推理能力已達(dá)到新高度。"朱恩赫·榮強(qiáng)調(diào)，這種能力可遷移至物理等其他基礎(chǔ)科學(xué)領(lǐng)域。

谷歌與OpenAI的技術(shù)路徑之爭

兩家公司采用不同技術(shù)路線實(shí)現(xiàn)突破：

• 谷歌方案：Gemini Deep Think模型通過增強(qiáng)版自然語言理解，直接解析數(shù)學(xué)問題并生成證明過程。該模型今年5月在開發(fā)者大會首次亮相，是谷歌通用AI戰(zhàn)略的核心成果。
• OpenAI方案：采用"測試時計(jì)算"大規(guī)模擴(kuò)展技術(shù)，允許模型"思考"更長時間并并行運(yùn)行多條推理路徑。"這需要極其昂貴的計(jì)算資源。"OpenAI研究員諾姆·布朗（Noam Brown）坦言，拒絕透露具體成本但承認(rèn)投入巨大。

OpenAI研究員亞歷山大·魏（Alexander Wei）在社交平臺X上透露，該技術(shù)短期內(nèi)不會商業(yè)化，預(yù)計(jì)數(shù)月后才會推出相關(guān)產(chǎn)品。

數(shù)學(xué)家會被取代嗎？

專家指出，AI不會取代數(shù)學(xué)家，而是成為強(qiáng)大協(xié)作工具。"未來數(shù)學(xué)家將專注于提出問題和驗(yàn)證結(jié)果，AI則負(fù)責(zé)繁瑣的中間推理步驟。"朱恩赫·榮預(yù)測，"這可能讓數(shù)學(xué)研究效率提升10倍，加速破解黎曼猜想等百年難題。"

國際數(shù)學(xué)奧林匹克競賽今年首次官方允許AI參賽，IMO主席格雷戈?duì)枴ざ嗬{爾（Gregor Dolinar）表示："這不是人類與AI的對抗，而是展示人工智能如何擴(kuò)展人類認(rèn)知邊界。"