OpenAI should put their internal model to solve the rest of Millenium Prize problems too (assuming their difficulty is in the same ballpark). That would be a proof the model did it without using existing work on the problem.
It is not. Many mathematicians have said that they don't expect to see solutions to the other 5 problems in their lifetimes.
Of course, AI might advance fast enough that the "in their lifetimes" part ends up wrong, but there is a considerable gap to the other problems. We have barely any idea of how to even get started on most of them.
How convenient that they could solve the only problem where researchers have done most of the legwork already. What a coincidence. And the timing, perfect.
Also, lots of hype around "millennial" grading, it is kinda funny if we solve all "millennial" problems in first 30 yeas of millenia.
Applicationis the hard part.