OpenAI’s AI Solves 80‑Year‑Old Erdős Geometry Conjecture
OpenAI's internal LLM autonomously proved the unit distance conjecture, a central problem in discrete geometry posed by Paul Erdős in 1946, marking the first AI‑generated proof meeting top‑journal standards and astonishing mathematicians.