“An AI system solved the geometry problems on the 2024 International Math Olympiad (IMO) in approximately 19 seconds.”