菲爾茲獎得主都看懵了:OpenAI非數學模型首次自主突破80年未解數學難題
OpenAI內部通用推理模型獨立破解了埃爾德什單位距離問題,該問題已80年無實質進展。菲爾茲獎得主高爾斯稱這是AI首次自主實現數學突破,成果達125頁推演。
菲爾茲獎得主都看懵了:OpenAI非數學模型首次自主突破80年未解數學難題 – 量子位
菲爾茲獎得主都看懵了:OpenAI非數學模型首次自主突破80年未解數學難題
聞樂 2026-05-21 17:36:23
來源:量子位
125頁“令人恐懼”的推演
聞樂 發自 凹非寺
量子位 | 公眾號 QbitAI
OpenAI又雙叒搞數學了。
內部模型搞定了一道埃爾德什早年提出的單位距離經典難題,已經80年無實質進展。
解決這個問題的還不是數學專家模型,而是一個通用模型。
該內部模型在埃爾德什經典問題上摸出了全新解題思路,連菲爾茲獎得主高爾斯(Timothy Gowers)都直言,這算是實打實頭一回,AI自主啃下這種未解數學難題:
這是AI解決的第一個極其著名的、未解的數學問題的清晰案例,也是第一個由AI(自主)實現的數學突破。
負責這款通用推理模型的Noam Brown也放話,要儘快發佈!!
打破人類80年固有認知
先説這個數學問題本身。它簡單到你能在餐巾紙上畫出來,但難到五代數學家都沒搞定。
埃爾德什1946年提出的單位距離問題是説:
平面上放n個點,最多能有多少對點之間的距離恰好為1?
聽着像小學數學對吧?但你試着擺一下——
三個點可以擺成等邊三角形,每對距離都是1;
四個點呢?正方形不行,因為對角線不是1,所以就得你得動腦子了;
再推到n個點,問題就炸了。
過去近80年,數學家們達成了一個核心共識:最優方案大概就是正方形網格那樣的排列。
用數學語言説,他們相信單位距離對數的增長速度大約是 O(n),也就是説增長基本上是線性的。
寫成公式就是 u(n) ≤ n^(1+o(1)),那個o(1) 趨近於0。
而這次OpenAI的內部通用模型沒走幾何路線,而是從代數數論繞進來,構造出了一族全新的點排列方式。
最後證明:u(n) ≥ n^(1+δ),其中δ>0。
翻譯過來就是增長速度不是線性的,是超線性的。
那個大家以為“趨近於0”的小尾巴,其實是正的。
80年的數學共識,被打破了。
是AI給出的構造雖然證明了δ>0,但具體數值還不是最優。
人類數學家拿到這個構造之後,立刻在AI的基礎上做了優化,把下界又往上推了一把。
雖然OpenAI沒有發佈AI未精簡過的完整思路,但其精簡後的內容足足有125頁!
網友還發現一個細節,該模型在第39頁闡述了關鍵觀點,並將構造過程描述為“令人恐懼的”。
於是不少數學愛好者表示:好想讀到完整思路……
而且據OpenAI自己説,這款模型還不是專門練數學的專用AI,就是正經通用大模型,純靠自己邏輯推演完成突破……天賦拉滿了。
這次不是狼來了
OpenAI在數學上翻過車,這個繞不開。
去年10月,OpenAI副總裁Kevin Weil發帖説GPT-5解了10個埃爾德什問題。
結果被維護erdosproblems網站的數學家Thomas Bloom當場拆穿:
這是誤導,GPT-5只是搜到了Bloom個人不知道的已有論文,不是原創發現。
DeepMind哈薩比斯也炮轟“令人尷尬”,最後Weil刪帖收場。
七個月後,又是Thomas Bloom,面對OpenAI的新數學成果,説了句完全不同的話:
這是人工智能目前在數學領域取得的最亮眼成就。
年初First Proof項目裏,OpenAI的一個內部數學模型解決了題集中的5道,當時Noam Brown就説那個內部模型即將發佈;
現在他又説一個通用模型會盡快發佈……
我只想知道,OpenAI到底還藏着多少好東西(doge)。
參考鏈接:
[1]https://x.com/polynoamial/status/2057178198228586824?s=20
[2]https://x.com/voooooogel/status/2057198687307362642?s=20
版權所有,未經授權不得以任何形式轉載及使用,違者必究。
OpenAI 數學
聞樂
騰訊混元開源全新翻譯模型Hy-MT2 ,上線小程序「騰訊Hy翻譯」2026-05-21
蝦馬之後又火一個!OpenHuman用20分鐘瞭解你的一切,存成卡帕西式知識庫2026-05-16
Need is all you need:AI接手Coding後,程序員最值錢的能力只剩這一項?2026-05-15
別讓模型燒Token了!GitHub 20k星神作:把全網變成命令行2026-05-16
相關閲讀
Sora背後團隊:應屆博士帶隊,00後入列,還專門招了藝術生
視頻生成規則改寫,OpenAI的下一步又會是什麼?
克雷西2024-02-18
OpenAI
最新“3D版”DALL·E爆火,超快速度生成3D點雲模型,OpenAI向谷歌新領域發起挑戰丨開源
只需V100運行2分鐘
蕭簫2022-12-21
3D模型 OpenAI 點雲
她才是趕奧特曼下台的關鍵人物?OpenAI CTO勁爆大瓜
調查報告預計不久後提交董事會
西風2024-03-08
OpenAI OpenAI CTO 奧特曼
2026年OpenAI最看好的3個方向
算力與收入之間存在明顯正相關
鷺羽2026-01-21
OpenAI 智能體
光顧賺錢不搞研究,OpenAI元老級高管現離職潮,Mark Chen緊急回應
和老黃的合作也不順利
鷺羽2026-02-04
OpenAI
做個攝像頭,OpenAI領投4.3億
將轉向AI硬件,但攝像頭會繼續賣
克雷西2024-08-08
OpenAI
熱門文章
華為雲創想者大會主題論壇議程公佈:釋放Agentic AI新佈局
2026-05-15
人手一個數據庫,Kimi背後這套AI基建到底有多能扛?
2026-05-14
國產GPU組了個開源局,把SGLang等核心開發者都搖來了!
2026-05-14
騰訊開源 Agent 記憶技術方案,Token 消耗最高降低 61%
2026-05-14
阿里發佈Qoder 1.0,可全面接管代碼生成、驗證和交付流程
2026-05-15
掃碼關注量子位
量子位 QbitAI 版權所有©北京極客夥伴科技有限公司 京ICP備17005886號-1