“An AI system would have achieved a gold medal in the 2024 International Math Olympiad (IMO) if the competition had not featured two combinatorics problems, a category where the AI struggles.”