← feed event
An OpenAI model has disproved a central conjecture in discrete geometry
OpenAIのモデルが離散幾何学の80年未解決の予想を反証
OpenAIの内部の汎用推論モデルが、1946年にエルデシュが提起した平面の単位距離問題に関する中心的な予想を反証した。正方格子構造が最適とされてきた通説に対し、多項式的な改善を示す無限族の例を提示。外部の数学者が証明を検証した。数学特化ではない汎用モデルによる成果とされる。