OpenAI宣布其通用推理模型成功推翻數學家Paul Erdős於1946年提出的單位距離猜想，這是AI首次自主解決一個長期公開的核心數學問題。該問題探討在平面上放置n個點時，最多能形成多少組距離恰好為1的點對。長期以來，學界認為最佳構造接近平方網格，單位距離點對數量增長不超過n^(1+o(1))。OpenAI模型卻構造出無限多組例子，使點對數量達到至少n^(1+δ)（δ>0），突破原有上界預期。

新證明並非來自專用數學系統，而是OpenAI一款通用推理模型在評估中自主完成。其方法引入代數數論中的高階工具，如無限類域塔與Golod-Shafarevich理論，將問題從組合幾何拓展至數論領域。此跨領域路徑令數學家驚訝，普林斯顿大學教授Will Sawin後續改進顯示δ可達0.014。

成果已由外部數學家審查，配套論文肯定其原創性與嚴謹性。多位專家包括菲爾茲獎得主Tim Gowers與組合數學家Noga Alon均稱此為里程碑。AI未取代數學家，但改變了研究流程：模型提出構造，人類驗證意義。這標誌著生成式AI正從「會解題」邁向「會研究」的新階段。