An OpenAI model has disproved a central conjecture in discrete geometry
The unit distance conjecture, open for 80 years, has been disproven by an OpenAI reasoning model. The proof provides an infinite family of examples improving on the square-grid construction, marking the first time AI has autonomously solved a prominent open problem central to a mathematical subfield.