OpenAI指AI破解80年幾何難題：Erdős單位距離猜想被推翻？

80年歷史的幾何問題

OpenAI最近表示，其一個內部推理型AI模型成功提出一個原創數學證明，推翻與著名的**平面單位距離問題（planar unit distance problem）**相關的一個長期猜想。這個問題最早由匈牙利數學家 Paul Erdős 在 1946年提出。

問題表面看起來很簡單：

如果在平面上放置 n 個點，最多可以有多少對點之間的距離剛好是 1？

但這條問題在組合幾何與離散幾何領域研究了數十年，仍然極難解。數學家一直嘗試找出能令「距離為1的點對數量」最大化的點排列方式，同時也在尋找理論上的上界。

多年來，一個非常普遍的直覺是：最佳排列應該類似方形網格（square grid）或晶格結構，即像棋盤或坐標格那樣的規律分佈。

OpenAI這次的聲稱，正是挑戰這個長期被認為合理的想法。

OpenAI稱AI做到了甚麼

根據公開說法，一個通用推理模型產生了一個全新的數學論證，直接推翻與該問題相關的一個核心猜想。

目前披露的重點包括：

• 模型提出的是新的數學證明，而不是重複已有文獻。
• 證明過程使用到**代數數論（algebraic number theory）**的想法來構造新的點排列。
• 這些排列能夠在單位距離點對數量上超越傳統的方格式結構。

如果證明成立，意味著數學界對這類最佳排列形狀的直覺可能需要重新思考。

為何這次與GPT‑5事件不同

這次宣布也自然令人想起之前的爭議。

早前有說法指 GPT‑5 解決了多個Erdős問題，但後來研究人員發現，那些結果其實只是重新發現已存在於數學文獻中的解答，並非真正的新突破。

OpenAI表示這次有兩個重要差別：

• AI產生的是原創證明，不是重現舊結果。
• 有外部數學家審閱論證，並對其有效性表示支持。

當然，在數學界，一個重大結果是否成立，通常仍需經過長時間的同行評審與檢查。

有哪些數學家支持

報道指出，一些知名研究者曾查看相關證明並提供正面評價，包括：

• Noga Alon（組合數學）
• Melanie Wood（數論與代數）
• Thomas Bloom（離散數學研究者）

他們的評論被用來支持該結果的可信度。

不過，即使有專家初步認可，完整證明仍需要經過詳細檢驗，並最終發表於同行評審的數學期刊，才會被廣泛接受。

為何這件事被視為重要

不少研究者認為，真正值得注意的不只是幾何結果本身，而是AI推理能力的變化。

很多科學突破都需要非常長的推理鏈：

• 數百甚至數千個邏輯步驟
• 跨越不同數學或科學領域
• 每一步都必須嚴格成立

如果AI能可靠地處理這種長鏈推理，它未來可能在很多領域協助甚至推動新發現，例如：

• 理論物理
• 生物與醫學研究
• 工程與材料科學

因此，一些評論認為這可能意味著AI正逐漸從科研助手走向偶爾能提出新理論想法的研究工具。

總結

OpenAI目前的說法是：其推理模型提出了一個真正新的證明，推翻與Erdős 1946年提出的平面單位距離問題相關的猜想。

若最終通過數學界嚴格驗證，這可能會成為AI首次在純數學長期難題上作出原創貢獻的例子之一。

不過，在正式同行評審完成之前，這項成果仍然處於被檢驗的階段。