"Our next major model"
So their internal model that solved the 10 long standing problems was indeed GPT-6.
An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughl...