華爾街日報:數學界著名世紀難題被AI破解
“如果你是數學家,”壹位世界頂尖數學家最近寫道,“在你繼續往下讀之前,最好先坐下來。”
如果你不是數學家,那你絕對需要坐下來。
因為壹個困擾人類近壹個世紀的著名數學難題終於被攻克了——攻克難題的是AI。
不久之前,就連最先進的AI模型也無法進行基本的數學運算。 到去年,AI模型在國際數學奧林匹克競賽中的表現已達到拿金牌的水平。 如今,它們開始利用代數數論來解決組合幾何中的經典問題。 轉眼之間,人工智能已從愚鈍蛻變為聰明得嚇人。
但當OpenAI宣布其壹款模型解決了被稱為“單位距離問題”的數學難題,而根本不需要任何人在黑板上寫壹大堆方程式,就連數學家都震驚不已。
它接收的指令是:

它給出了這樣的證明:

然後,整個數學界都為之瘋狂。
OpenAI還附上19頁來自著名數學家的配套注解,幫助對數字不那麼精通的人理解解題思路。
壹般來說,數學家極其厭惡炒作。 他們要求先看到證明,才願意接受基本事實,要讓他們相信所謂的新突破更是難上加難,而且許多數學家對AI能否徹底改變他們所在的行業壹直持懷疑態度。
因此,讀到以下這些感想令人震驚:
“AI在這方面做到了許多優秀的人類研究人員嘗試去做卻未能做到的事情。”
— 普林斯頓大學(Princeton University)教授諾加・阿隆(Noga Alon)
“這是我第壹次為AI自主產出的成果而興奮,而不是僅僅為AI的潛力而興奮。”
— 多倫多大學(University of Toronto)助理教授丹尼爾・利特(Daniel Litt)
“單位距離問題的解決無疑是AI數學領域的壹個裡程碑:如果這篇論文由人類撰寫並投給《數學年刊》(Annals of Mathematics),要我快速給出意見,我應該會毫不猶豫地建議接受。 之前任何由AI生成的證明都無法與之相提並論。”
— 蒂莫西・高爾斯(Timothy Gowers),法國高等研究院(Collège de France)教授
最後這條評價分量尤其重,因為它來自壹位菲爾茲獎得主——這是人類數學家的最高榮譽之壹。 高爾斯接著說,即便AI無法變得更聰明,我們也已經邁入了壹個新時代。
“在解決數學問題方面,人類與AI競爭會變得非常困難,”他說。
光看公式就夠讓我頭疼了,但我還是想進壹步了解AI發現了什麼,我們人類為什麼發現不了——還有,對於那些希望永遠遠離數學問題的人來說,這壹突破為何如此重要。
[加西網正招聘多名全職sales 待遇優]
這條新聞還沒有人評論喔,等著您的高見呢
如果你不是數學家,那你絕對需要坐下來。
因為壹個困擾人類近壹個世紀的著名數學難題終於被攻克了——攻克難題的是AI。
不久之前,就連最先進的AI模型也無法進行基本的數學運算。 到去年,AI模型在國際數學奧林匹克競賽中的表現已達到拿金牌的水平。 如今,它們開始利用代數數論來解決組合幾何中的經典問題。 轉眼之間,人工智能已從愚鈍蛻變為聰明得嚇人。
但當OpenAI宣布其壹款模型解決了被稱為“單位距離問題”的數學難題,而根本不需要任何人在黑板上寫壹大堆方程式,就連數學家都震驚不已。
它接收的指令是:

它給出了這樣的證明:

然後,整個數學界都為之瘋狂。
OpenAI還附上19頁來自著名數學家的配套注解,幫助對數字不那麼精通的人理解解題思路。
壹般來說,數學家極其厭惡炒作。 他們要求先看到證明,才願意接受基本事實,要讓他們相信所謂的新突破更是難上加難,而且許多數學家對AI能否徹底改變他們所在的行業壹直持懷疑態度。
因此,讀到以下這些感想令人震驚:
“AI在這方面做到了許多優秀的人類研究人員嘗試去做卻未能做到的事情。”
— 普林斯頓大學(Princeton University)教授諾加・阿隆(Noga Alon)
“這是我第壹次為AI自主產出的成果而興奮,而不是僅僅為AI的潛力而興奮。”
— 多倫多大學(University of Toronto)助理教授丹尼爾・利特(Daniel Litt)
“單位距離問題的解決無疑是AI數學領域的壹個裡程碑:如果這篇論文由人類撰寫並投給《數學年刊》(Annals of Mathematics),要我快速給出意見,我應該會毫不猶豫地建議接受。 之前任何由AI生成的證明都無法與之相提並論。”
— 蒂莫西・高爾斯(Timothy Gowers),法國高等研究院(Collège de France)教授
最後這條評價分量尤其重,因為它來自壹位菲爾茲獎得主——這是人類數學家的最高榮譽之壹。 高爾斯接著說,即便AI無法變得更聰明,我們也已經邁入了壹個新時代。
“在解決數學問題方面,人類與AI競爭會變得非常困難,”他說。
光看公式就夠讓我頭疼了,但我還是想進壹步了解AI發現了什麼,我們人類為什麼發現不了——還有,對於那些希望永遠遠離數學問題的人來說,這壹突破為何如此重要。
[加西網正招聘多名全職sales 待遇優]
| 分享: |
| 注: | 在此頁閱讀全文 |
| 延伸閱讀 |
推薦:
華爾街日報:數學界著名世紀難題被AI破解