OpenAI: Gold medal-level performance on the 2025 International Math Olympiadtwitter.com 7asey1ydiscuss