The 2025 International Mathematical Olympiad

IMO 2025 just finished. A bunch of AI models gave it a shot this year. Here’s my take on the results.