Erdős unit distance conjecture disproved. This problem was solved in a completely automated fashion by a new general-purpose reasoning model. “In my opinion thi
An OpenAI model has disproven the Erdős unit distance conjecture, a significant problem in discrete geometry. This achievement marks a shift from AI models merely assisting mathematicians to independently generating original mathematical insights. The AI's proof is detailed in a companion paper, with further remarks provided by mathematicians. AI
IMPACT Demonstrates AI's capability for original mathematical discovery, potentially accelerating research across scientific fields.