In 2025, AI models won a gold medal in the International Mathematical Olympiad