I'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.

▲

bananzamba 2 hours ago | parent [-]

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.

	▲	closetheloopdev an hour ago \| parent [-]
		It's forced vs unforced Euler, so it's not exactly the same. Since OpenAI has access to their training data, they can probably scrub through the data to find out whether there have been any mentions of the similar approach, and whether it only comes from Tristan Buckmaster or if it is in the training data before that. They'll probably have to kick off another fleet of agents to scrub through the training data to answer that. To be clear, I only talked about the mentioning of the approach to solving it and not of the proof in the training data.