OpenAI近日宣布，其內部通用推理模型已自主推翻匈牙利數學家保羅·艾狄胥（Paul Erdős）於1946年提出的「單位距離猜想」，並完成長達125頁的完整證明。該猜想屬於離散幾何領域，探討平面上n個點最多能形成多少組距離恰好為1的點對。長期以來，學界認為方格排列接近最佳解，但AI模型卻發現全新的平面點配置，產生遠高於預期的單位距離數量，直接推翻原有假設。

真正引發學界震撼的是AI的證明方法。它跳過傳統的幾何與組合分析，轉而運用代數數論中的Golod-Shafarevich準則與類域塔結構，將深層數論工具應用於平面幾何問題。這種跨領域連結令頂尖數學家驚訝，普林斯頓大學的Noga Alon形容其手法優雅且巧妙。

與過去AI協助證明或參與競賽題不同，此次模型未經專門訓練、無人類逐步提示，僅根據問題描述自行生成證明。菲爾茲獎得主Tim Gowers稱此為「AI數學的重要里程碑」。這項成果暗示AI正從研究工具轉向具創造力的研究參與者，未來可能根本性改變數學與基礎科學的研究模式。