“OpenAI's models have achieved the ability to solve problems at the level of the International Mathematical Olympiad (IMO), including a problem equivalent to "IMO problem six."”