OpenAI claims gold-medal performance at IMO 2025