Comment by imjonse

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.