但這條問題在組合幾何與離散幾何領域研究了數十年,仍然極難解。數學家一直嘗試找出能令「距離為1的點對數量」最大化的點排列方式,同時也在尋找理論上的上界。
多年來,一個非常普遍的直覺是:最佳排列應該類似方形網格(square grid)或晶格結構,即像棋盤或坐標格那樣的規律分佈。
OpenAI這次的聲稱,正是挑戰這個長期被認為合理的想法。
根據公開說法,一個通用推理模型產生了一個全新的數學論證,直接推翻與該問題相關的一個核心猜想。
目前披露的重點包括:
如果證明成立,意味著數學界對這類最佳排列形狀的直覺可能需要重新思考。
這次宣布也自然令人想起之前的爭議。
早前有說法指 GPT‑5 解決了多個Erdős問題,但後來研究人員發現,那些結果其實只是重新發現已存在於數學文獻中的解答,並非真正的新突破。
OpenAI表示這次有兩個重要差別:
當然,在數學界,一個重大結果是否成立,通常仍需經過長時間的同行評審與檢查。
報道指出,一些知名研究者曾查看相關證明並提供正面評價,包括:
他們的評論被用來支持該結果的可信度。
不過,即使有專家初步認可,完整證明仍需要經過詳細檢驗,並最終發表於同行評審的數學期刊,才會被廣泛接受。
不少研究者認為,真正值得注意的不只是幾何結果本身,而是AI推理能力的變化。
很多科學突破都需要非常長的推理鏈:
如果AI能可靠地處理這種長鏈推理,它未來可能在很多領域協助甚至推動新發現,例如:
因此,一些評論認為這可能意味著AI正逐漸從科研助手走向偶爾能提出新理論想法的研究工具。
OpenAI目前的說法是:其推理模型提出了一個真正新的證明,推翻與Erdős 1946年提出的平面單位距離問題相關的猜想。
若最終通過數學界嚴格驗證,這可能會成為AI首次在純數學長期難題上作出原創貢獻的例子之一。
不過,在正式同行評審完成之前,這項成果仍然處於被檢驗的階段。