OpenAI Model Solves 80-Year-Old Geometry Puzzle, Disproving a Central Erdős Conjecture

A general-purpose reasoning model from OpenAI has disproved a long-standing conjecture in discrete geometry first posed by Paul Erdős in 1946.