IMO 2025 LLM Experiment Reveals AI’s Mathematical Reasoning Breakthroughs

IMO 2025: The First Public Scorecard of Large Language Models on the World’s Hardest Math Test A quiet IMO 2025 exam room Every July, the International Mathematical Olympiad (IMO) gathers the brightest teenage minds for two grueling days of proof writing. In 2025, for the first time, the same six problems were also handed—virtually—to a new generation of contestants: large language models (LLMs). The full record of that experiment lives in the open-source repository IMO2025-LLM. Inside you will find the original contest questions, each model’s step-by-step reasoning, and an impartial report card on correctness and completeness. This article unpacks everything …