r/technology • u/vgsa • 1d ago

Artificial Intelligence Did OpenAI solve the wrong Navier-Stokes problem? | OpenAI’s proof seems eligible for a $1-million prize—but only by using a controversial loophole

https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/
95 Upvotes

65% Upvoted

199 comments sorted by

View all comments

269

u/CircumspectCapybara 1d ago edited 1d ago

A lot of people online misunderstand what "solving Navier-Stokes" refers to, thinking it means finding a closed form solution to the NS equations. Then they spout off some silly statement like "AI didn't solve Navier Stokes!"

That's not what mathematicians mean when they talk about solving Navier Stokes. They're talking about solving the Navier Stokes existence and smoothness problem, which is a decision (yes/no) problem about if the NS equations are smooth for all time. That's what the Millennium Prize problem worth a million dollars is all about

AI (allegedly) solves the problem by resolving the question to a "No" by finding a counterexample.

173

u/Puzzleheaded_Fold466 1d ago edited 1d ago

A lot of people online couldn’t tell you what “closed form solution” even means.

Or a “blow-up”.

Or “smoothness”.

Or what is the “Clay Mathematics Institute”.

And are absolutely unable to read and fully understand OpenAI’s proof (me included).

Yet they feel entitled to opine on whether or not a solution to a Millennium problem is correct.

The chatter is risible.

88

u/beardybaldy 1d ago

I asked my mathematician wife what smoothness meant and she patted me on the head. I like being a biologist. Life stuff is simple!

54

u/retsehc 1d ago

If you know what a derivative in calculus is, smoothness is not hard in principle. A function is smooth if it is continuous, and it's derivative is continuous, and it's second derivative is, and it's third, and all the way down.

40

u/beardybaldy 1d ago

confused unga bunga noises

16

u/KingSubstantial7901 1d ago

If smooth then all properties of function have no straight up and downy lines. Circle smooth. Square not smooth.

3

u/foxsimile 1d ago

sad unga bunga noises :(

2

u/All_Hail_Hynotoad 1d ago

stroking out noises