In 2025, artificial intelligence models won a gold medal at the International Mathematical Olympiad