數學界迎來了一場史無前例的“地震”。OpenAI 正式宣佈，其內部一款通用推理模型在沒有任何人類手把手引導的情況下，獨立推翻並解決了組合幾何領域困擾學界80年的經典難題——埃爾德什單位距離猜想（Erdős unit distance problem）。

一、難題的挑戰:看似簡單的“迷宮”

該問題由傳奇數學家保羅·埃爾德什（Paul Erdős）於1946年提出:在平面上擺放 n 個點，最多能有多少對點之間的距離恰好等於1?

  • 長期共識的崩塌: 過去80年間，頂尖數學家們普遍認爲，最優解應該是類似棋盤網格的排列，點對數量的增長速度應幾乎是線性的。

  • AI 的“神來之筆”: OpenAI 的模型沒有沿着傳統幾何思路死磕，而是利用代數數論（包括類域塔、Golod–Shafarevich 定理等）構造出了一套全新的點集排列方式，證明了單位距離點對的增長速度確實可以超過線性增長。

二、爲何這被稱爲“AI 數學史上的里程碑”?

菲爾茲獎得主、著名數學家蒂莫西·高爾斯（Tim Gowers）在評價此事時表示:“這毫無疑問是 AI 數學史上的一座里程碑。如果這篇論文是由人類撰寫並提交給《數學年鑑》，我會毫不猶豫地推薦接受。”

  • 從輔助到自主: 這不僅是一次簡單的計算，而是 AI 首次在“無人區”開闢新路徑。它不僅給出了答案，更提供了一種人類此前未曾深入挖掘的幾何視角與跨學科橋樑。

  • 同行評議: 該項成果長達125頁，在公開後迅速經過了全球頂尖數學家的驗證，多位專家一致認爲其邏輯嚴密、創新性極高。

三、行業信號:AI 從“算得快”進化至“想得深”

這一突破揭示了 AGI（通用人工智能）發展的深層邏輯變遷:

  1. 科學發現的新範式: AI 不再侷限於在現有知識體系中“整理數據”，而是展現出了作爲獨立研究者的潛力，能夠自主探索、提出假設並進行邏輯論證。

  2. 跨界思維的優勢: 模型成功將幾何難題與深奧的代數數論聯繫起來，這種連接學科的能力，正是人類專家長久以來引以爲傲的“直覺”與“深刻洞察”。

  3. 驗證未來潛力: 此次證明過程表明，通用推理模型已能夠維持長邏輯鏈的嚴謹性。這意味着同樣的架構未來有望在物理、材料科學、生物醫學等更復雜的科研領域複製這一“科學發現”能力。

結語

正如該模型在描述構造過程時所用的評價，這是一個“令人敬畏”的跨越。雖然 AI 取代數學家尚遠，但它已經正式拿起了那根名爲“科學發現”的接力棒。正如一位數學家所言，正如望遠鏡之於天文學，AI 正在成爲數學家手中新的“科學觀測望遠鏡”，幫助人類眺望遠超以往的數學地平線。