OpenAI宣稱AI推翻80年Erdős幾何猜想

但這個看似直觀的問題，卻成為組合幾何與離散幾何領域中最著名的長期難題之一。數十年來，數學家嘗試找出能產生最多「單位距離」點對的排列方式，同時也研究其理論上限。

長期以來的一種直覺是：最佳排列應該看起來像方格網格（square grid），也就是類似晶格或棋盤式的點分布。

OpenAI此次公布的結果，正是針對支撐這種直覺的一項猜想提出反例，表示這種假設並不成立。

OpenAI聲稱AI做到了什麼

根據公開報導，OpenAI表示其模型完成了一項新的數學論證，並提出原創證明來推翻該猜想。

目前公開資訊指出幾個關鍵點：

• 模型生成的是全新的數學證明，而非複製或拼接既有研究成果。
• 證明使用了**代數數論（algebraic number theory）**相關技巧，構造出新的點配置方式。
• 這些構造能產生比傳統方格型排列更多的單位距離配對。

若這項結果成立，將改變學界對該問題最有效結構的長期理解。

與先前GPT‑5事件有何不同

這次宣布也格外受到關注，部分原因是過去曾發生過類似爭議。

此前，OpenAI曾表示 GPT‑5 解決了多個 Erdős 問題。但後續研究發現，模型其實只是重新找到文獻中早已存在的解法，並非新的數學成果。

這一次的說法與當時有兩個重要差別：

• OpenAI強調這是一個原創證明，不是既有研究的再發現。
• 有外部數學家對論證進行檢視並公開表示支持。

當然，在數學界，真正的定論仍取決於完整同行評審與期刊發表。

已有哪些數學家表態

目前的報導指出，幾位知名數學家已閱讀並評論了該證明，包括：

• Noga Alon（以色列著名組合數學家）
• Melanie Wood（哈佛大學數學家）
• Thomas Bloom（研究組合數論與Erdős問題）

相關評論顯示，他們對證明的方向與有效性表達支持。

不過在數學研究中，真正確認一個結果通常需要長時間審查：

• 研究者逐步檢驗證明細節
• 學界討論可能漏洞
• 最終通過學術期刊同行評審

因此目前仍處於學界評估階段。

新想法：不再依賴「方格型」排列

多年來，許多研究都假設最佳解可能接近正方形格點排列。這種結構在很多幾何問題中都表現良好，因此被視為合理猜測。

但OpenAI模型提出的證明據稱顯示：

• 最佳配置可能來自完全不同的結構
• 這些結構利用了代數數論中的對稱性
• 能產生更多距離為1的點對

換句話說，AI找到了一類不同於傳統格點直覺的新型構造。

為什麼研究者認為這件事很重要

即使單就幾何問題而言，這已經是重大成果。但許多研究者更關注的是另一層意義：

AI可能開始能處理長而複雜的推理鏈。

在許多科學領域，突破往往需要：

• 大量中間定理
• 跨領域概念
• 數百甚至上千步邏輯推導

如果AI能可靠地建立並驗證這些推理鏈，它可能在許多領域產生影響，例如：

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

一些評論因此認為，AI正從研究助手逐漸走向可能提出新理論洞見的工具。

結論

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

與過去只「重新發現」已知解法的AI案例不同，這次的成果被描述為真正的原創研究。

但在數學界，真正的答案只有一個標準：**經得起完整同行評審。**如果這項證明最終被確認，它可能成為AI首次在純數學長期難題上留下里程碑式成果。