“Both OpenAI's and Google DeepMind's models solved International Mathematical Olympiad problems 1 through 5 perfectly but made no progress on problem 6.”