Beating によると、OpenAI の汎用推論モデルは、1946 年に Erdős が提案した単位距離予想を覆した。古典的な予想では、平面上で単位距離にある点の組の数は n^(1+o(1)) を大きく超えないとされていたが、当該モデルの新しい点集合の構成により n^(1+δ) 個の組が実現され、δ は正の定数であり、ほぼ 80 年間維持されてきた上界を破った。
このモデルは、専門の数学システムやカスタムツールなしで、この証明を完了させた。Noga Alon、Tim Gowers、Arul Shankar らの外部の数学者が元の証明を検証し、arXiv 上で支持論文を公開して、導出が代数的整数論からの高度な手法を用いていることを確認した。
