數學界炸鍋了!AI居然用數論“核武器”,把埃爾德什80年的幾何猜想給推翻了?
5月21日凌晨,OpenAI官宣了一個載入史冊的突破:他們的全新通用推理模型,在沒有人類數學專家干預的情況下,獨立攻克了離散幾何里沉睡近80年的埃爾德什單位距離猜想。
這是人類歷史上第一次,AI自主解決了數學核心領域的重大開放性難題。
要理解這個突破有多牛,得先回到1946年。傳奇數學家埃爾德什提出了一個問題:二維平面上n個點,最多能有多少對距離剛好是1的點?
這個問題簡單到小學生都能聽懂,但80年來,無數頂尖數學家都栽了跟頭。
數學家把這個最大數記為u(n)。你可能會想,擺成正方形網格不就最多嗎?確實,網格能給出大約2n對單位距離。
過去幾十年,所有人都覺得網格就是極限,埃爾德什甚至猜想u(n)的上限是n log n(o(1)項忽略),意思是增長速度比線性快一點,但絕對不會有質的突破。
為了激勵后人,埃爾德什還設了現金獎勵。可80年過去了,下界方面,埃爾德什當年用網格給出的n√log n結果,人類再也沒提升過;上界方面,1984年的O(n^4/3)也像鐵律一樣沒被打破。所有人都以為,網格就是大自然的極限了。
結果OpenAI的模型出手,直接顛覆了所有人的認知!它不僅證明了猜想,還推翻了它——找到了人類從未想過的全新點陣構型,讓單位距離點對數量達到了n^(1+δ)(δ是大于0的常數)。
普林斯頓教授Will Sawin驗證后,還算出δ能取到0.014。這意味著單位距離數量實現了多項式級的躍升,徹底打破了埃爾德什的上限!
更讓數學家們破防的是證明的方法。離散幾何問題通常用幾何或組合工具解決,但AI居然從代數數論里借來了“核武器”。
埃爾德什用的是高斯整數(a+bi),而AI直接拓展到了更復雜的代數數域,引入了高維對稱性,還熟練調用了“無限階級域塔”和“格羅滕迪克-沙法列維奇理論”這些數論皇冠上的明珠。
![]()
連專門研究數論的專家組合這些工具都要花數年,AI卻自發地用它們完成了跨界降維打擊!
更驚人的是,這個突破來自一個通用推理模型,不是專門為數學設計的定制系統!過去AI解決數學問題,要么靠人類設計框架,要么在特定領域試錯。
但這次,AI展現了真正的長鏈條推理能力:定義不含糊,每一步都能驗證,數萬步邏輯鏈條沒有一次致命幻覺。這種跨越數論與幾何、微觀上絲絲入扣的能力,正是AGI(通用人工智能)最核心的特征。
就像英國數學家Thomas Bloom說的:AI是探險家,踩出一條路帶回寶石;人類科學家則用直覺把寶石擦亮。知識的疆界充滿峭壁,AI幫我們探索數學大教堂里未被看見的奇跡。
這場風暴不止席卷數學界。OpenAI指出,如果模型能保持復雜論證的一致性,融會貫通不同領域知識,還能通過人類專家的審視,那這種能力也適用于生物學、物理學、材料科學和醫學。
AI已經觸及科學研究最核心的創造力部分,人類的洞察力從未如此被放大。
這個世界的劇變,才剛剛開始。你覺得AI未來會在哪些科學領域帶來顛覆性突破?評論區聊聊你的看法!
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.