An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model disproved an 80-year-old conjecture on the unit distance problem, achieving a polynomial improvement over previously believed-optimal constructions. It marks the first time AI has autonomously solved a prominent open problem central to a mathematical subfield.