OpenAI: Gold medal-level performance on the 2025 International Math Olympiad | Dark Hacker News