Examines how an OpenAI AI system achieved a gold medal score at the 2025 IMO, detailing its performance, natural-language proofs, and AI reasoning ability.