T twitter.com OpenAI claims gold-medal performance at IMO 2025 479 points Davidzheng 1 year ago 698 comments
