AI Reasoning: Gold-Medal Performance at the 2025 IMO
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. Updated with DeepMind's gold medal achievement and latest 2026 developments.