The entire drama is that OpenAI sniped a Millennium Prize Problem from an Anthropic-affiliated research team who had been working on the problem for nearly a year. In just 5 days. I don't think that can be understated.
replyI'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.
replyI 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...
replyMeaning they would have found it first if OpenAI hadn't spent millions in compute on following their lead to its conclusion faster than them.
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.
replyTo be clear, I only talked about the mentioning of the approach to solving it and not of the proof in the training data.