Sciences X/Twitter May 21, 2026 2 min read
An OpenAI general-purpose reasoning model independently disproved the Erdős unit distance conjecture — a central problem in discrete geometry open since 1946. This marks the first time in history that an AI has autonomously solved a prominent open math problem, verified by independent mathematicians including Princeton's Noga Alon.