This is impressive. The real game-changer will be when AI creates an entirely new, significant branch of mathematics.
> "Already, there are very few mathematicians qualified to verify OpenAI’s new results. As progress continues, that number will approach zero."
Not that I'm good enough at math to have any uniquely formed opinion, but after reading commentary from people who are, my impression is that these new results are bamboozling the humans due to using tools from so many disparate areas.
At least, we can say that there isn't a single human who is smart enough to understand all ten proofs, even if there is a collective sense in which all proofs are understood.