Why the Legendary Erdős Problems Are Falling to AI

OpenAI's internal AI model solved the 'unit distance' problem posed by Paul Erdős in 1946, marking the first significant AI-derived mathematical proof. Later, OpenAI's Astra model made 10 more advances, solving three additional Erdős problems, signaling a shift in AI's role in mathematical research.