AI攻破80年數(shù)學(xué)難題 里程碑式突破。一個AI完成了人類數(shù)學(xué)家近80年來未能解決的問題。5月21日,OpenAI宣布其內(nèi)部的通用推理模型自主推翻了“平面單位距離猜想”,這道由匈牙利數(shù)學(xué)家保羅·厄多斯于1946年提出的幾何難題困擾了數(shù)學(xué)界整整79年。

消息一經(jīng)公布,數(shù)學(xué)圈和AI圈都感到震驚。OpenAI CEO山姆·奧特曼在X上轉(zhuǎn)發(fā)了這一消息,并表示:“感受很復(fù)雜?!狈茽柶潽劦弥?、劍橋大學(xué)教授Timothy Gowers稱這是“AI數(shù)學(xué)的里程碑”,并建議數(shù)學(xué)家們在閱讀前坐穩(wěn)。

這不是OpenAI第一次宣稱解決了這個問題。七個月前,OpenAI前副總裁Kevin Weil曾在X上高調(diào)宣布GPT-5找到了十個未解決的厄多斯問題的答案,但很快被證實只是引用了已有文獻(xiàn),并沒有真正解決問題。谷歌DeepMind CEO Demis Hassabis和Meta首席AI科學(xué)家Yann LeCun相繼嘲諷,Weil隨后刪帖。

這一次,OpenAI顯然更加謹(jǐn)慎。公司在發(fā)布證明的同時附上了一份多位頂尖數(shù)學(xué)家聯(lián)署的伴隨論文,包括菲爾茲獎得主Timothy Gowers、普林斯頓大學(xué)數(shù)學(xué)家Noga Alon、多倫多大學(xué)數(shù)論學(xué)家Arul Shankar以及維護(hù)厄多斯問題網(wǎng)站的數(shù)學(xué)家Thomas Bloom。這些數(shù)學(xué)家獨立審查了AI給出的證明,并確認(rèn)其成立。
剛剛,人類數(shù)學(xué)界面臨了一次前所未有的沖擊。AI不僅能夠解題,現(xiàn)在甚至能獨立完成PhD級別的純粹數(shù)學(xué)研究
2026-03-02 13:12:54谷歌AI攻克6道世界級數(shù)學(xué)難題“我想去洗車,洗車店距離我家50米,我應(yīng)該開車過去還是走過去?”這個問題在過去一段時間里讓不少AI回答時翻車。許多AI建議“走過去”,忽視了洗車需要帶著車這一前提,引發(fā)了廣泛討論
2026-02-27 20:30:45周鴻祎評AI與洗車難題