數學家們幾乎相信自己理解了一個著名幾何謎題的極限，這個謎題最初由傳奇匈牙利數學家保羅·厄爾德斯提出。如今，OpenAI 開發的一個人工智能模型顛覆了這一假設，並解決了該領域最棘手的開放問題之一。這一突破集中於「單位距離問題」，這是一個看似簡單的問題，詢問在平面上可以有多少對點恰好相距一個單位。儘管該問題簡單易懂，卻自 1946 年以來一直困擾著數學家，成為組合幾何中最著名的問題之一。
幾十年前，想像一下在一張紙上放置點的情況。挑戰在於如何排列這些點，使得儘可能多的對點恰好相距一個單位。數學家們認為，方格圖案提供了最佳的解決方案。厄爾德斯本人提出，隨著添加更多點，單位距離對的數量只能略快於線性增長。研究人員歷經幾代人嘗試證明或反駁這一理論。然而，新的人工智能生成的證明徹底改變了這一情況。
OpenAI 模型發現更優解決方案
OpenAI 表示，該模型發現了一個無限的點排列家族，這些排列能夠產生比經典方格方法顯著更多的單位距離對。普林斯頓大學的數學家威爾·索温隨後進一步精煉了這一結果，並顯示出改進可以用固定的指數來表達。研究人員最驚訝的是證明背後的方法。該 AI 並未依賴傳統的幾何技巧，而是將問題與代數數論聯繫起來，這是一個研究擴展普通整數的數系的深奧數學分支。
這一證明使用瞭如無限類域塔和 Golod-Shafarevich 理論等先進概念，這些工具通常與幾何謎題無關。簡而言之，該 AI 找到了一種利用隱藏的對稱性來創造更多一個單位距離的方法，這一聯繫讓專家們感到震驚。
數學界的反響與未來展望
這一證明經過了數學家的外部審核，他們還撰寫了一篇伴隨論文，解釋了這一論點及其更廣泛的重要性。菲爾茲獎得主蒂姆·高維斯稱這一成就為「人工智能數學的一個里程碑」。數論學者阿魯爾·尚卡表示，這項工作顯示出人工智能系統可以超越對數學家的輔助，開始生成真正原創的想法。研究人員還指出，這一結果可能會影響長期以來被認為與數論無關的其他幾何問題。
參與伴隨工作的數學家託馬斯·布魯姆表示，這一發現暗示深奧的數論可能為若干未解決的離散幾何問題提供答案。他補充説，許多數學家可能會利用這些新揭示的聯繫重新審視較舊的問題。這一結果還突顯了人工智能推理系統的快速演變。與專用定理證明軟件不同，OpenAI 表示這一證明來自一個通用的推理模型。工程師並未專門針對單位距離問題進行訓練，也未為此任務建立專門的搜索工具。
這一細節意義重大，因為它暗示了更廣泛的科學應用。研究人員相信，能夠管理長鏈推理的系統最終可能會在物理學、生物學、工程學和醫學等領域提供幫助。目前，單位距離的突破成為一個里程碑時刻。這一問題在近八十年的努力下仍未解決，最終卻落入了一個從完全意想不到的方向接近幾何的人工智能系統之手。
項目 規格 證明方法 代數數論與幾何的結合 使用概念 無限類域塔、Golod-Shafarevich 理論 影響範圍 離散幾何問題的解決
📬 免費訂閱 TechRitual 科技精選
按「免費訂閱」即同意收到 TechRitual 嘅科技資訊及優惠。可隨時取消訂閱。
