新聞 
壹個著名的數學難題 AI給出了答案 數學界炸了鍋…
壹個著名的數學難題 AI給出了答案 數學界炸了鍋…壹個著名的數學難題 AI給出了答案 數學界炸了鍋…
單位距離問題討論的是如何排列n個點，使彼此距離正好為壹個單位的點對盡可能多。圖源：OpenAI
壹道困擾人類近80年的著名數學難題，近日被人工智能給出突破性答案，引發數學界震動。OpenAI宣布，其模型在沒有人類協助推導的情況下，解決了由著名數學家保羅·埃爾德什提出的“單位距離問題”相關猜想。
OpenAI向模型輸入的單位距離問題提示。圖源：OpenAI
單位距離問題最簡單的版本是：如果在平面上放置n個點，最多能有多少對點之間的距離正好等於壹個單位。埃爾德什1946年曾證明，將點排列成網格可以產生大量這樣的點對，並猜想沒有其他排列方式能明顯做得更好。
OpenAI模型找到了壹種比埃爾德什網格構造更好的排列方式，因此這份成果並非證明埃爾德什猜想，而是給出反例。數學界因此認為，這壹結果具有裡程碑意義。
OpenAI模型輸出的證明結果。圖源：OpenAI
普林斯頓大學教授Noga Alon表示，AI完成了許多優秀人類研究者嘗試過卻沒有完成的事情。多倫多大學助理教授Daniel Litt稱，這是第壹個由AI自主產出的重要數學結果，本身就令人興奮，而不只是某種先行信號。
菲爾茲獎得主、法蘭西公學院教授Timothy Gowers也表示，單位距離問題的解答是AI數學領域的壹個裡程碑。如果這篇論文由人類寫成並提交給《數學年刊》，他會毫不猶豫建議接收。他還認為，即便AI不再變得更聰明，人類也已經進入壹個新時代，未來將很難在解決數學問題上與AI競爭。
OpenAI研究人員起初也難以相信這個結果。公司數學家Mehtaab Sawhney表示，自己壹開始並不相信，於是團隊開始尋找錯誤，請外部專家核驗，並用AI編程代理檢查證明過程。經過反復閱讀和檢查後，結果看起來可信，而且相當了不起。
[物價飛漲的時候 這樣省錢購物很爽]
| 分享: |
| 注： | 在此頁閱讀全文 |
| 延伸閱讀 |
推薦: