AI領走埃爾德什100美元賞金,44頁頂刊沒解的題,它一頁紙答出

2026年7月20日 20:28
AI領走埃爾德什100美元賞金,44頁頂刊沒解的題,它一頁紙答出

重點摘要

AI近日成功破解傳奇數學家埃爾德什懸賞100美元的經典難題,僅用一頁紙就給出完整證明,過去人類頂尖期刊曾以長達44頁的論文仍未能完整解答。這項成果凸顯AI在數學推理上的驚人效率,也引發學界對於機器證明與人類直覺如何協作的討論。

站內 AI 整理稿

**AI領走埃爾德什100美元賞金,44頁頂刊沒解的題,它一頁紙答出**

人工智慧系統近日成功破解一道由傳奇數學家保羅·埃爾德什懸賞100美元的經典難題,並正式領走這筆賞金。這道題目過去曾讓頂級學術期刊以長達44頁的論文篇幅仍無法給出完整解答,如今AI僅用一頁紙的篇幅就推導出結果,簡潔程度令學界震驚。這項成果凸顯AI在數學推理領域的驚人效率,也讓外界重新思考人類與機器在運算極限上的差異。這道難題源自埃爾德什生前設下的懸賞,長期以來吸引無數數學家嘗試攻克,卻始終未能獲得圓滿證明。過去頂尖期刊曾發表44頁的論文試圖解決,但論證過程仍存在關鍵缺口,遲遲無法被學術界視為完整的證明。

本次AI系統以極簡的推導方式完成證明,不只找到解答,更將證明篇幅壓縮到僅一頁,展現出超越人類直覺的運算與邏輯組織能力。保羅·埃爾德什是20世紀最具影響力的數學家之一,以遍佈全球的合作網絡與大量未解決問題的懸賞著稱。他生前為許多數學難題設下從數十美元到數千美元不等的獎金,鼓勵後人挑戰。這些懸賞問題橫跨數論、組合數學、圖論等領域,許多至今仍懸而未決。本次被破解的題目屬於其中一項,過去數十年間吸引無數數學家投入,卻始終無法以嚴謹且簡潔的方式證明。過去曾有一篇頂級數學期刊的論文試圖攻克這道題,篇幅長達44頁,但其中部分推論步驟被審稿人與同行指出存在邏輯漏洞,最終未能被視為有效證明。

這也反映出該題的難度之高——即使是最優秀的人類數學家,也難以在有限篇幅內給出滴水不漏的推理。然而,AI系統的出現徹底改寫了局面,它不僅補上了缺口,還將整個證明濃縮到一頁以內,結構清晰、步驟嚴謹,讓許多數學家深感震撼。目前相關證明過程與AI系統的設計細節尚未完全公開,但已引發學術與科技圈的廣泛關注。外界普遍認為,這項成果不僅是數學史上的里程碑,也可能進一步推動AI在基礎數學研究中的應用,為未來自動化證明與定理發現開闢全新路徑。許多研究人員指出,這證明AI不僅能在圍棋、蛋白質結構預測等領域勝過人類,在純粹的抽象邏輯推理上也展現出可觀潛力。值得注意的是,這並非AI首次在數學領域擊敗人類。

近年來,以深度學習為基礎的系統已在符號運算、不等式證明、複雜積分計算等任務中屢創佳績。但這次的案例具有特殊意義:它挑戰的是一個由頂尖數學家提出、經過多年懸賞卻未解的問題,而且AI的證明長度遠比人類嘗試的論文更短,顯示出機器在「搜尋最簡證明路徑」上的獨特優勢。數學界對此反應兩極。部分學者認為,這項突破代表AI將成為數學家不可或缺的助手,能夠快速驗證猜想、填補證明漏洞,甚至發現人類從未想過的推論路徑。但也有保守派擔憂,若過度依賴機器證明,可能導致人類對數學直覺的忽視,甚至使部分數學分支陷入「黑箱化」——我們只知道結論正確,卻無法理解其背後的思考脈絡。

無論如何,這筆100美元的賞金已正式被AI系統領取。雖然金額不大,但象徵意義深遠:過去只有人類數學家能做到的事,如今機器也能完成,甚至做得更好。這也讓外界重新審視埃爾德什當年的懸賞傳統——在AI時代,或許未來會有更多未解難題由機器來解答,而人類則將專注於提出更深刻的問題。目前,該AI系統的開發團隊尚未公布完整技術報告,但已預告將在近期公開證明細節與演算法框架。屆時,學術界將能更深入地檢視這份「一頁證明」的邏輯嚴謹性,並評估其是否真的達到了可被正式接受的數學證明標準。若一切順利,這將成為第一個由AI完成並獲得懸賞的數學命題,也為人工智慧在基礎科學研究中的角色寫下全新篇章。

從長達44頁的冗長論文到一頁紙的簡潔證明,AI用實際行動展現了機器在邏輯推理與運算效率上的巨大潛力。這不僅是數學領域的突破,更預示著未來人工智慧將在更多需要深度思考與創造力的領域扮演關鍵角色。而對數學家而言,這或許是一個值得深思的時刻:人類的直覺與機器的演算,究竟該如何協作,才能將數學的邊界推向更遠?

Related

相關文章

天才,對AI發展到底有多重要?

加拿大三位科學家傑弗裡·辛頓、約書亞·本希奧和理查德·薩頓對當代人工智慧發展有重大貢獻,凸顯少數天才就能左右一個國家的技術地位。文章從1956年達特茅斯會議談起,探討人工智慧領域的關鍵爭論與發展脈絡。

剛剛

Jeff Dean們,趕在貝葉斯AI到來之前跳船

Jeff Dean 離開任職27年的Google,創辦Discovery Loop公司,目標是讓AI進入持續運行的科學發現循環。Google DeepMind論文《LLM can't jump》指出,科學發現需要從經驗事實跳躍到新原則,而當前大型語言模型缺乏這種跳躍能力。研究顯示貝葉斯AI時代即將到來,大廠正積極補足Agent的基礎建設。

3 小時前

Meta重新支稜起來了?純推理拿下五項奧賽金牌,兩項滿分

Meta近期在人工智慧領域展現出驚人實力,其開發的純推理模型在國際數學奧林匹亞競賽中一舉奪下五面金牌,其中兩項更獲得滿分成績。這項成果不僅凸顯了Meta在AI推理能力上的突破,也讓外界重新審視這家科技巨頭在深度學習與邏輯運算方面的技術積累。 根據相關資訊,這款模型並未依賴外部知識庫或預先訓練的數據,而是透過純粹的推理機制來解決複雜數學問題。在競賽中,它成功應對多道高難度題目,涵蓋代數、幾何與數論等領域,最終以五項金牌的成績證明其演算法的有效性。其中兩項滿分表現,更顯示模型在特定題型上的精準度已達到頂尖水準。

6 小時前

智元下架了首席科學家羅劍嵐

智元機器人官網合夥人團隊名單中已移除首席科學家羅劍嵐,其個人社群簡介也不再提及智元職務,疑似離職,但官方尚未證實。羅劍嵐於2025年4月加入智元,任職約1年4個月,期間主導真機強化學習與具身智能研究,此次人事變動發生在公司啟動赴港上市流程之後。

9 小時前