Analysis of the 2025 IMO problems and how AI should be able to do