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
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
IMPACT Demonstrates AI's capability for original mathematical discovery, potentially accelerating research across scientific fields.
RANK_REASON AI model achieves a significant mathematical research milestone by disproving a long-standing conjecture. [lever_c_demoted from research: ic=1 ai=1.0]
