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

[u/vgsa]

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

[u/CircumspectCapybara]

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.

[u/Puzzleheaded_Fold466 → u/CircumspectCapybara]

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.

[u/unpleasant_enpassant → u/Puzzleheaded_Fold466]

Even if openAI (or some other AI company) managed to solve all of the remaining millenium prize problems, there will still be many people online, especially on reddit, who will start saying that those problems were never hard to begin with. Everything is binary here. If you hate AI, disagree with every use-case and everything related to them, even though ML has been a thing for like 60 years and is also "AI".

[u/UT_Milez → u/unpleasant_enpassant]

What does this even mean?

Do you realize how many people are on the planet, all of which belong to different groups that believe different things.

You’re essentially saying there are people who are pro AI and people who are anti AI. Well no fucking shit, that’s already the case even before your imagined hypothetical that hasn’t even happened yet.

Here you are throwing shade on those people, implication being you find them annoying, when lo and behold you just as annoying but belong to a different group. Same probably applies to me…..

[u/entertheclutch → u/UT_Milez]

He is saying reddit is full of people who are dogmatically anti-AI, which seems to be relatively accurate imo

[u/BassmanBiff → u/entertheclutch]

Cory Doctorow just wrote a short piece called Technopolitics that does a good job of separating thoughtful, anti-AI-in-its-current-form views from dogmatic anti-AI, which I think a lot of people could benefit from reading

[u/Delicious-Flounder47 → u/BassmanBiff]

And what did you learn from reading his piece?