OpenAI 的推理模型打破了離散幾何學中80年的數學障礙

新聞摘要

美國東部時間 2026 年 5 月 20 日，OpenAI 宣布其通用推理模型之一已自主證偽了離散幾何學中一個有 80 年歷史的猜想，這是一個數學家和 AI 研究人員稱之為計算科學史上轉折點的里程碑時刻。

80 年的難題

Erdős 平面單位距離問題最初由匈牙利數學家 Paul Erdős 於 1946 年提出。這個問題的表述看似簡單，實際上卻很複雜：給定平面上任意放置的 n 個點，有多少對點的距離恰好為 1？八十年來，數學家們一直認為類似網格的排列是最佳配置，單位距離點對的數量約為 n^(1 + o(1))。直到現在，沒有人能夠證明或證偽這一假設。

OpenAI 模型發現了什麼

OpenAI 的通用推理模型發現了一族無限的點排列，其數量超過了長期以來假設的上界。該模型並非依賴於網格結構，而是發現了能夠產生至少 n^(1+δ) 個單位距離點對的配置，其中 δ 為一個固定的正值——這比先前認為的最佳配置有了真正的多項式級別的改進。引人注目的是，該證明借鑒了代數數論的思想，解決了一個表面上純粹是幾何學的問題，將不同的數學學科聯繫起來，這是先前研究中未曾探索過的。

頂尖數學家的驗證

該結果立即引起了數學界的關注。普林斯頓大學數學家 Will Sawin 獨立審查並協助完善了該模型的證明。菲爾茲獎得主 Tim Gowers 將此成就描述為「AI 數學的一個里程碑」，並指出其推理的複雜性超越了大多數人類在類似開放性問題上的努力。外部驗證證實了該結果的數學有效性，使該公告的公信力遠超一般的公司新聞稿。

為何這項突破如此與眾不同

先前關於 AI 在數學上的聲明——包括 OpenAI 自己在 2025 年 10 月發布的關於解決十個 Erdős 問題的公告，該公告後來被發現涉及檢索數學文獻中已有的解決方案——曾引發批評和懷疑。這項結果被認為與眾不同，原因有二。首先，這是由一個通用推理模型完成的，而不是一個專門針對單位距離問題進行微調、輔助或定向的系統。其次，它代表了對一個數學子領域核心猜想的真正證偽，而不僅僅是漸進式改進或對現有工作的驗證。OpenAI 表示，即使是由人類研究人員獨立完成，該結果也足以發表在頂級數學期刊上。

證明如何奏效

這項突破的核心在於該模型能夠將抽象的代數機制移植到具體的組合設置中。代數數論——一個研究由多項式方程定義的數的性質的數學分支——恰好提供了構建比網格結構更密集的單位距離點對的配置所需的工具。該模型自主地識別了這種非顯而易見的聯繫，而沒有被引導至數論作為相關框架。

對數學以外科學的啟示

OpenAI 和外部研究人員強調，其意義遠不止於幾何學。該模型能夠連接代數數論和離散幾何學，表明 AI 推理系統正在發展出整合長鏈、多步驟邏輯並綜合傳統上獨立領域見解的能力。研究人員表示，這種能力對生物學、物理學、工程學和醫學等領域具有直接意義，這些領域的突破往往源於意想不到的跨學科聯繫。一個通用模型而非狹隘的專家產生了這一結果的證明尤其重要，這暗示著未來的 AI 系統可能會為整個科學領域的前沿研究做出貢獻。

AI 輔助數學的更廣泛背景

這項成果的出現正值對 AI 在數學推理領域的興趣迅速增長之際。世界各地的研究團隊一直在探索大型語言模型作為假設生成、證明驗證和模式發現的工具。OpenAI 的公告大大提高了標準：自主證偽一個知名的、開放的、對一個公認的數學子領域至關重要的猜想，這與解決競賽風格的問題或檢查現有證明在性質上是不同的。菲爾茲獎得主 Gowers 和其他專家指出，這正是會改變該領域對 AI 在創造性數學工作中作用的看法的貢獻類型。

事件時間線

官方公告由 OpenAI 於美國東部時間 2026 年 5 月 20 日在 openai.com 上發布。隨後，《科學美國人》、《TechCrunch》和《Interesting Engineering》等媒體迅速進行了報導。《科學美國人》指出，數學界對此結果「感到震驚」。普林斯頓大學的 Will Sawin 的完善工作在 OpenAI 的報告中得到了認可，這強調了驗證過程的協作性質。