An OpenAI model has disproved a central conjecture in discrete geometry
OpenAI's general-purpose reasoning model has disproved an 80-year-old conjecture in discrete geometry, known as the unit distance problem. This marks a significant advancement for AI in mathematics, as the model autonomously generated a novel proof that challenges long-held beliefs in the field. Unlike a previous claim that was retracted, this breakthrough has been validated by mathematicians, including those who previously expressed skepticism. AI
IMPACT Demonstrates AI's capability for original discovery, potentially accelerating breakthroughs in science and engineering.