-
日期: 2026-05-31 | 來源: 加美財經 | 有0人參與評論 | 字體: 小 中 大

單位距離問題討論的是如何排列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編程代理檢查證明過程。經過反復閱讀和檢查後,結果看起來可信,而且相當了不起。- 新聞來源於其它媒體,內容不代表本站立場!
-
原文鏈接
原文鏈接:
目前還沒有人發表評論, 大家都在期待您的高見