根據 Beating，OpenAI 的通用推理模型已推翻了 1946 年由 Erdős 提出的「單位距離猜想」。經典猜想認為，平面上位於單位距離的點對數量不會顯著超過 n^(1+o(1))；然而，該模型的新點集構造實現了 n^(1+δ) 個點對，其中 δ 為正的常數，打破了先前幾乎維持了 80 年的上界。
該模型在沒有使用專門的數學系統或客製化工具的情況下完成了這項證明。包括 Noga Alon、Tim Gowers 和 Arul Shankar 在內的外部數學家驗證了原始證明，並在 arXiv 上發表了一篇支持性論文，確認該推導運用了來自代數數論的進階技術。
