An OpenAI model has disproved a central conjecture in discrete geometry
OpenAI model disproves 80-year-old unit distance conjecture in discrete geometry
An OpenAI model has solved the 80-year-old unit distance problem, disproving a central conjecture in discrete geometry. This marks a significant milestone in AI-driven mathematical research, demonstrating that frontier models can now contribute original proofs to longstanding open problems. It signals a potential inflection point in AI's role as an active collaborator in formal mathematics.