AI Breaks Mathematics' Most Stubborn 80-Year Challenge

For the first time, an AI system has autonomously proven a major open conjecture in pure mathematics—a milestone showing AI's capability extends beyond computation to creative mathematical reasoning. OpenAI's model synthesized existing mathematical knowledge across disciplines to resolve the Erdős unit distance conjecture that stumped humans for eight decades. This breakthrough points to a complementary future where AI's broad knowledge and computational stamina work alongside human intuition to accelerate mathematical discovery.