“In June 2022, Aman Sengar predicted that an AI model would win a gold medal in the International Math Olympiad by July 2024.”