OpenAI模型推翻離散幾何核心猜想
OpenAI的一個模型成功解決了困擾數學界80年的單位距離問題，推翻了離散幾何中的一個重要猜想，標誌著人工智慧在數學研究領域的里程碑。
近日，OpenAI的研究團隊宣佈其開發的人工智慧模型成功解決了數學領域一個懸而未決80年的難題——單位距離問題，並由此推翻了一個離散幾何中的核心猜想。這一成果被視為人工智慧驅動數學研究的里程碑事件。
單位距離問題最早於1946年由數學家Paul Erdős提出，核心是探討在平面中，n個點之間最多能有多少對點恰好相距單位距離。Erdős本人給出了一個上界和下界，但下界的具體數值一直未能確定。離散幾何中的相關猜想認為，該數目存在一個多項式上界，而OpenAI的模型透過構建反例證明這個上界猜想是錯誤的。
OpenAI模型運用了強化學習和符號推理相結合的方法，在數千臺計算機上進行分散式計算。模型不僅生成了大量點集配置，還自主發現了其中隱藏的模式，最終構造出具有極高單位距離對數量的點集，超出猜想所允許的範圍。團隊經過嚴格驗證，確認該反例成立。
這一突破的意義不僅在於解決了一個具體問題，更展示了人工智慧在探索數學前沿的巨大潛力。數學界對AI的數學能力看法不一，但這次成功表明，當問題具有明確的結構性特徵時，AI可以成為數學家的有力工具。OpenAI表示，將繼續最佳化模型，並計劃將其應用於其他數學難題。