International Math Olympiad 2025 Problems: How Well Will AI Do?
sugaku.net