OpenAI model solves 80-year-old mathematical problem

•OpenAI的模型成功推翻了由匈牙利數學家保羅·艾狄胥（Paul Erdős）於1946年提出的「平面單位距離猜想」（planar unit distance problem），該猜想認為點的最佳排列方式應類似於正方形網格。 [1, 2, 4, 5, 8, 9, 10, 11, 12, 17, 18]
•這項突破並非來自專門為數學訓練的AI系統，而是由一個通用推理模型達成，顯示了AI在跨領域推理能力上的重大進展。 [1, 2, 5, 7, 9, 10, 15, 18, 26]
•AI的解決方案採用了人類數學家此前未曾嘗試過的方法，結合了代數數論（algebraic number theory）和類域塔（class field tower）等高等數學分支，構建出全新的點陣排列結構。 [2, 5, 9, 10, 12, 15, 21, 23]
•該證明經過多位外部頂尖數學家（包括菲爾茲獎得主蒂莫西·高爾斯）的嚴格審查和驗證，並由普林斯頓大學的數學家威爾·薩溫（Will Sawin）進一步精煉了指數，確認了其核心論點。 [1, 3, 4, 5, 12, 13, 15, 21, 29]
•OpenAI的模型透過生成一個反例來推翻猜想，證明了存在比傳統正方形網格排列方式能產生更多單位距離點對的配置。 [1, 2, 9, 11, 17, 18]

📊 競品分析▸ Show

特性/公司	OpenAI (平面單位距離猜想)	Google DeepMind (AlphaProof Nexus)
模型類型	通用推理模型 (General-purpose reasoning model) [1, 2, 5, 7, 9, 10, 15, 18, 26]	Gemini 3.1 Pro 語言模型結合 Lean 形式證明助手 [27, 33]
核心方法	透過代數數論和類域塔理論，在高維空間構建複雜對稱點陣並投影至二維，找到反例。 [2, 5, 9, 10, 12, 15, 21, 23]	結合 LLM 生成與 Lean 驗證，系統性地搜尋並生成機器可驗證的形式證明。 [27, 33]
解決問題	推翻艾狄胥「平面單位距離猜想」（一個80年難題）。 [1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 17, 18, 21, 23, 26, 29]	解決了艾狄胥問題清單中的九個其他開放問題，並證明了來自整數序列線上百科全書的44個猜想。 [26, 27, 33]
基準表現	證明了存在 n^(1+δ) 單位距離結構，其中 δ=0.014。 [3, 13, 15]	解決了數十年未解的問題，包括兩個開放了56年的問題。 [27]
定價	null	null

模型類型: OpenAI 的內部通用推理模型 (general-purpose reasoning model)，並非專門為數學訓練的系統。 [1, 2, 5, 7, 9, 10, 15, 18, 26]
推理過程: 模型將複雜問題分解為更小的步驟，並能進行內部審議和自我檢查。 [1, 6]
核心數學理論: 運用了代數數論 (algebraic number theory) 和類域塔 (class field tower) 等高等數學分支，特別是 Golod-Shafarevich 理論。 [2, 5, 9, 10, 12, 15, 21, 23]
解決方法: 透過在高維空間中構建一個複雜的、對稱的點陣，然後將其投影到二維平面上，從而找到一個反例，推翻了艾狄胥關於正方形網格為最佳排列的假設。 [9, 10]
證明輸出: AI自主生成了一份長達125頁的「思維鏈」（Chain of Thought, CoT）證明，隨後被精簡為19頁的正式證明。 [10, 29]
驗證機制: 證明結果由多位人類數學家進行了外部審查和驗證，確保了其正確性。 [1, 3, 4, 5, 12, 13, 15, 21, 29]

AI將成為數學研究中不可或缺的協作者。

AI能夠探索人類可能因耗時或反直覺而放棄的路徑，並在不同數學領域之間建立聯繫，加速新發現。 [1, 11, 12, 13, 26]

AI在形式推理方面的進步將推動其他科學領域的發展。

該模型解決數學難題的能力，表明AI能夠處理複雜的科學問題，而不僅僅是模式匹配，預示著其在科學發現中的潛力。 [1, 6, 15]

數學家與AI的合作模式將成為主流。

儘管AI生成了初步證明，人類研究人員仍參與了改進、消化和探索其後果，顯示了人機協作在推動數學前沿方面的重要性。 [1, 5, 13, 29]

1946-XX

匈牙利數學家保羅·艾狄胥提出「平面單位距離猜想」。 [1, 2, 3, 5, 7, 9, 10, 12, 13, 17, 18, 21, 23, 29]

1984-XX

人類數學家為平面單位距離問題設定了最精確的上限。 [5]

2024-09-12

OpenAI 發布 Orion-1 (o1) 模型，以其先進的推理和邏輯能力受到關注。 [40]

2025-06

OpenAI 和 Google DeepMind 的模型在國際數學奧林匹亞 (IMO) 中獲得金牌級別的表現。 [14, 31]

2025-10

AI 工具開始在 Erdős Problems 論壇上展現出實用價值。 [14]

2026-05-20

OpenAI 宣布其內部 AI 模型自主推翻了艾狄胥的「平面單位距離猜想」。 [18, 21, 29]

2026-05-21

Google DeepMind 的 AlphaProof Nexus 解決了保羅·艾狄胥提出的九個其他開放問題。 [27, 33]

OpenAI 模型解決了困擾人類 80 年的數學難題