OpenAI 的內部推理模型 recently 成功證明了數學家 Paul Erdős 在 1946 年提出的單位距離猜想錯誤。這個猜想是關於在平面上放置一定數量的點，然後計算出有多少對點之間的距離恰好為 1 個單位。Erdős 當時猜測了一個簡單的擺放方式，但是現在 OpenAI 的模型發現了一個更好的解法。這個成果不僅僅是數學上的突破，也標誌著 AI 在數學領域的應用日益廣泛。這個模型使用了代數數論的工具，令數學家們感到意外。Fields Medalist Tim Gowers 將這個成果稱為 AI 數學的一個里程碑。