數學界迎來了一次具有里程碑意義的重大突破。OpenAI近日宣佈，其內部最新的推理模型成功生成了一份原創數學證明，正式推翻了由著名數學家保羅·Erdős在 1946 年提出的單位距離猜想。這一成果標誌着人工智能首次依靠自身長鏈推理能力，自主攻克了數學核心領域的開放性難題。

image.png

走出檢索泥潭，專家獨立驗證

值得注意的是，就在七個月前，OpenAI曾因宣稱解決多個Erdős問題而被學術界指責爲“從文獻中檢索已有答案”的僞原創。這一次，OpenAI吸取了教訓，主動邀請了包括Thomas Bloom在內的多位國際知名數學家進行獨立驗證，證明的嚴謹性得到了多方學者的明確支持。

過去，AI在數學領域的成果大多侷限於重新驗證人類已知的定理，而本次推理模型卻徹底打破了人類近 80 年來的傳統認知。此前，數學家普遍認爲該猜想的最優解大致呈現爲網格狀排列，但OpenAI的模型卻另闢蹊徑，獨立發現了一套表現更優的全新構造方案。

擺脫幻覺困擾，輻射前沿科學

從技術層面來看，解決此類開放式數學難題對AI的邏輯鏈條提出了嚴苛要求。數學證明涉及數個複雜的推導步驟，任何一步出錯都會導致全盤皆輸，這也意味着該推理模型已經基本克服了傳統大語言模型中常見的“幻覺”通病。

雖然部分學者指出該證明仍需等待更長時間的同行評審，但其帶來的潛在溢出效應已經引發廣泛關注。單位距離猜想與組合幾何、圖論密切相關，該成果的落地未來有望直接輻射至生物學中的蛋白質摺疊研究、材料科學中的晶體結構分析以及藥物分子的設計優化。