Analysis of the 2025 IMO problems and how AI should be able to do sugaku.net 1 points by amichail 12 hours ago