“At the 2025 International Mathematical Olympiad, the AI systems from Harmonic, DeepMind, and OpenAI all failed to solve question six.”