No, OpenAI did not solve the "wrong" Navier-Stokes problem. OpenAI did not solve the hardest version of the problem (unforced blow-up), but did give a solution to the Clay Millennium Prize Problem as written and understood, choosing the explicitly allowed forced option.
SciAm writes "in a sense, the LLM found and exploited a loophole in the framing of the question". This is pure sensationalism. Choosing option (C) (out of an explicit list of four options) is neither a "loophole" nor something "found by the LLM"; everyone involved knew this was the option they were pursuing.
With the grumbling out the way, there is some actual scientific content to the article: there's a strong argument that OpenAI's method will not extend to the unforced case, leaving our understanding of NS incomplete. This negative result is itself new and interesting (and predicated entirely on the solution found by OpenAI)!
show comments
bmacho
Article says that there are 2 formulations of the NS problem and both are interesting: one is about fluid behaviour with no external forces, other is about fluid behaviour with external forces.
For a counter-example the latter is easier since you can have a tricky external forcefield.
show comments
ChickeNES
So what they are saying is that humans, in this case Charles Fefferman (a math prodigy, going by his history), failed to specify the problem correctly?
show comments
yababa_y
I will admit that when I heard they only had forced blowup I went back to sleep (but I've never been more that cursorily interested in analysis).
ex-aws-dude
I dunno this sounds like some insane goalpost moving
yieldcrv
treating LLM's under a separate apartness ruleset isn't going to go well
ActorNightly
Betteridge's law of headlines
show comments
olliepro
Classic example of moving the goal posts. “Exploiting a loophole” is how you solve many great problems in math.
No, OpenAI did not solve the "wrong" Navier-Stokes problem. OpenAI did not solve the hardest version of the problem (unforced blow-up), but did give a solution to the Clay Millennium Prize Problem as written and understood, choosing the explicitly allowed forced option.
SciAm writes "in a sense, the LLM found and exploited a loophole in the framing of the question". This is pure sensationalism. Choosing option (C) (out of an explicit list of four options) is neither a "loophole" nor something "found by the LLM"; everyone involved knew this was the option they were pursuing.
With the grumbling out the way, there is some actual scientific content to the article: there's a strong argument that OpenAI's method will not extend to the unforced case, leaving our understanding of NS incomplete. This negative result is itself new and interesting (and predicated entirely on the solution found by OpenAI)!
Article says that there are 2 formulations of the NS problem and both are interesting: one is about fluid behaviour with no external forces, other is about fluid behaviour with external forces.
For a counter-example the latter is easier since you can have a tricky external forcefield.
So what they are saying is that humans, in this case Charles Fefferman (a math prodigy, going by his history), failed to specify the problem correctly?
I will admit that when I heard they only had forced blowup I went back to sleep (but I've never been more that cursorily interested in analysis).
I dunno this sounds like some insane goalpost moving
treating LLM's under a separate apartness ruleset isn't going to go well
Betteridge's law of headlines
Classic example of moving the goal posts. “Exploiting a loophole” is how you solve many great problems in math.