alt Hacker NewsI'm not here to judge since I don't have all the facts, but from what they announced: they tried all 6, found a probable lead to Navier-Stokes, concentrated efforts in that direction, and found a solution.
I hope the next solved Millennium Prize Problem will have less drama.
But that lead happened to be the same approach Levent and Tristan had found...
Meaning they would have found it first if OpenAI hadn't spent millions in compute on following their lead to its conclusion faster than them.