238
submitted 2 days ago by Salamence@mander.xyz to c/privacy@lemmy.ml

cross-posted from: https://hexbear.net/post/9497419

The Millennium Problems are a set of the most important open problems in mathematics. so far only 2 have been solved: the Poincare Conjecture by Grigori Perelman in 2010 and today OpenAI released this https://openai.com/index/navier-stokes-solution/

The only problem is, that their AI didn't even come up with the solution itself. Mathematicians working on the same problem recently made big strides in solving the Navier Stokes equations, and their chat logs were scraped and used in training data before they could release the proof themselves.

Here is the unpaywalled statements of the Mathematician: https://mastodon.social/@tristanbuckmaster/117233413705701198

Western AI companies have been tackling a bunch of open problems and techbro chuds cannot shut up about it, this is just Marketing and the fact they have to steal real people's work to do so just proves it. They really want that IPO moneyyy capitalist-laugh

top 30 comments
sorted by: hot top new old
[-] mazzilius_marsti@lemmy.world 20 points 2 days ago* (last edited 2 days ago)

these news site really need to research or write better.

No, Navier Stokes was not "solved". We have been using numerical methods to solve these equations approximtely since forever. The exact analytical solutions that exist for special cases are also studied; most often, these are used as baseline for comparison against new theory , new experimental results and new computer simulations. So, we have been "solving" Navier Stokes.

What OpenAI manages to achieve is answering a very specific problem relate to Navier Stoke (sorry for hand waving, not a pure math major). It is something like: given an initial flow condition, does the Navier Stoke equation predict this flow field to blow up or it stays smooth for some finite time? Result: OpenAI manages to come up with a case where the solution blow up.

Mathematically, i bet some math geniuses can expand on this finding as like a "special property" of the Navier Stoke equations.

So no we are still far solving the whole equation analytically.

[-] wuphysics87@lemmy.ml 37 points 2 days ago

Woah. Navier Stokes has been solved? That's a huge deal. And fuck openai for undercutting the people who made it possible.

[-] onceandfuturealice@lemmy.world 10 points 2 days ago

From what I've read, the Millennium prize proposition was basically "Prove it holds in all cases (sounds to me like a closed form solution), or prove it doesn't hold in all cases", and the proof published by OpenAI proves the latter, i.e. that Navier-Stokes does not hold in some extreme cases.

[-] mkwt@lemmy.world 2 points 1 day ago

This is still a big deal result with a lot of physical significance if it holds up.

Full Navier-Stokes are / were understood to model all of the important physics associated with continuous domain fluids. (Continuous domain here means we approximate the many, many particles of the fluid as a smooth, continuous substance).

In particular, Navier-Stokes are supposed to fully model fluids with turbulence. Turbulence is an everyday phenomenon that you can reproduce for yourself in your kitchen sink, and yet it is extremely difficult to formulate a mathematical function for it. Turbulence appears to be random if you look at it, and yet if it is produced by NS, then it is not random. Solving even the numeric approximations of NS for turbulent flows is difficult because the flows exhibit severe variation in velocity over wide ranges of time and distance scales.

Anyhow, if NS is a good physical theory it has to have a physically realistic solution to every physically-possible set of initial conditions and environmental forcing functions. In math terms this mainly means that all of the velocities, pressures, and forces have to be finite and smooth at all times. Step discontinuities don't really occur in the real physical world (although they do approximately occur).

This result would mean that NS is not the end all final theory for classical continuum fluids. The scenario constructed by OpenAI is claimed to be one that can (at least theoretically) be setup and run in the real world. But if we did that, the real world is certain to do something else besides the infinite flow velocity vortex that OpenAI claims NS predicts. What would really happen in that experiment? Who knows. We're gonna need to find some new physics to find out.

[-] douglasg14b@lemmy.world 14 points 2 days ago

Well "solved" is a bit of a weird way to say it. Was it proven as true, or was it disproven? Both of those change things in different ways.

Proven true that it is a stable formula, then that's cool, and we know that issues with fluid simulations based off of that are a software and compute problem.

If it was disproven, then we learn precisely under what specific conditions nature becomes mathematically unpredictable, and then we can start developing different and better models.

[-] wuphysics87@lemmy.ml 13 points 2 days ago

My understanding is that it has only been shown to have closed form analytical solution for very simple cases. "Solved" in this case would mean doing the same for more complex geometries. It would mean finding new functions like spherical harmonics or the Bessel Function.

[-] SlimePirate@lemmy.dbzer0.com 6 points 2 days ago

So sad that it has been solved this way. It feels stolen (even if it had not copied work)

[-] orca@orcas.enjoying.yachts 14 points 2 days ago

This feels like when you’re telling a story or a joke and someone swoops in from the sidelines to steal the punchline. Only like 100x worse.

[-] I_am_10_squirrels@beehaw.org 3 points 1 day ago

Key and Peele

[-] underisk@lemmy.ml 28 points 2 days ago* (last edited 2 days ago)

Everything AI does is with stolen data. What makes this so special?

[-] reallykindasorta@slrpnk.net 35 points 2 days ago

It’s like if they wrote gta VI in notepad and Microsoft released it saying they made it… so not really different except they didn’t even let the author publish it first

[-] hypnicjerk@piefed.social 8 points 2 days ago

turns out if you throw hundreds of billions of dollars at math problems, you tend to find solutions, who knew?

the worst part, to me, is the implication that such solutions are a question of capability and not of resources

[-] Avicenna@programming.dev 5 points 2 days ago

Wait I thought someone in anthropic made some progress on this using Claude which was then leaked to openAI and then they mustered all their resources to do it faster and did it before.

https://x.com/konstiwohlwend/status/2097235335034056835

[-] trolololol@lemmy.world 6 points 2 days ago
[-] fruitycoder@sh.itjust.works 3 points 2 days ago

🎶plagerize Let no one's else's work evade your eyes So don't shade your eyes But Plagerize Plagerize Plagerize 🎶 But of course don't forget to call it... Research

[-] hirihit640@sh.itjust.works 0 points 2 days ago

This is interesting news but why is it in the privacy comm?

[-] thanksforreading@lemmy.ml 13 points 2 days ago

Why is the fact that an AI company is surveilling their users and stealing their work in a privacy comm?

[-] hirihit640@sh.itjust.works 1 points 2 days ago

surveilling users? chats are fed into the training data, I believe this is stated pretty clearly on every chat, something like "your chats are used to improve the model'

[-] DarkDarkHouse@lemmy.sdf.org 7 points 2 days ago

That's right, surveilling.

[-] trilobite@lemmy.ml 1 points 1 day ago

I think this is the real problem here. Chats are being fed to AI. This is horendous. Do we know which chat system was raked by OpenAI.

[-] thanksforreading@lemmy.ml 3 points 2 days ago

Only in certain plans and you can opt out. I assume they were smart enough to opt out but on review I couldn't actually find evidence of that so you may be right...

[-] leanleft@lemmy.ml 3 points 2 days ago

this is the whole selling-point of locallama and why local models are so rigorously sought after (despite seeming excessive(seemingly needless) spending on rigs )

[-] leanleft@lemmy.ml 2 points 2 days ago

it would be a better fit for intellectualproperty community . or maybe security. i guess it sorta could be privacy. just not the way most people tend to focus on. intellectualproperty is the bigger issue. but it occured due to lack of privacy .

[-] BeatTakeshi@lemmy.world 2 points 2 days ago

Somewhere down the article:

While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models⁠.

[-] hirihit640@sh.itjust.works 2 points 1 day ago

I'm aware that the data is used to train models. Most people know this, it's stated clearly. That's not the story here. The story is IP theft, not privacy.

[-] BeatTakeshi@lemmy.world 3 points 1 day ago

That's the whole debate... If researchers used ChatGPT then they agreed to its terms and conditions, which are shitty and forfeiting privacy, IP and all that comes with it. All the major AI companies are not in the business for the sake or betterment of humanity, but to exacerbate the capitalist model in which you own nothing (funny how that's how communism is sometimes described). I mean the whole drama with Altman and OpenAI, that basically killed the initial nonprofit, humanist goals of Open AI was very revealing. I read a quote the other day that said AI is a means for wealth to access skills and knowledge, while preventing those with skills and knowledge to access wealth.. Couldn't say it any better.

[-] trilobite@lemmy.ml 1 points 1 day ago

This is why use of AI needs to be a conscious use. We need to understand that everytime we use it, we are teaching it to improve itself, and if we are feeding it sensitive data, then we are being really stupid.

this post was submitted on 10 Sep 2026
238 points (98.4% liked)

Privacy

50879 readers
829 users here now

A place to discuss privacy and freedom in the digital world.

Privacy has become a very important issue in modern society, with companies and governments constantly abusing their power, more and more people are waking up to the importance of digital privacy.

In this community everyone is welcome to post links and discuss topics related to privacy.

Some Rules

Related communities

much thanks to @gary_host_laptop for the logo design :)

founded 6 years ago
MODERATORS