OpenAI Model Solves 80-Year-Old Geometry Mystery, Disproving Erdős Conjecture
An OpenAI reasoning model has disproved a central conjecture in discrete geometry, solving the planar unit distance problem first posed by Paul Erdős in 1946.
An OpenAI reasoning model has disproved a central conjecture in discrete geometry, solving the planar unit distance problem first posed by Paul Erdős in 1946.