madness. which will be the next to fall? if i had to bet i would guess birch and swinnerton-dyer, but i'm no expert
On the Navier–Stokes Millennium Prize Problem
61–70 of 1001 posts
Re: On the Navier–Stokes Millennium Prize Problem
#62> A major goal of our work is to empower scientists to advance research and technology that benefits all of humanity.
And what's a better way of empowering people than robbing them.
Re: On the Navier–Stokes Millennium Prize Problem
#63Here's the formalization / lean verification:
https://github.com/openai/NavierStokesAndEuler
Re: On the Navier–Stokes Millennium Prize Problem
#64> Our goal in releasing this result is to report on the substantial progress of our AI models. We do not intend to claim the Millennium Prize for this result. Does OpenAI have a policy of not claiming math prizes like this, or is this them trying to avoid any concerns (right or wrong, I'm sure we will hear more in the future) about how they got there?
The prize is what, a million dollars? OpenAI doesn't need a million dollars.
Should buy them about 1/3 of a GB200 server rack, good thing they scooped it.
Re: On the Navier–Stokes Millennium Prize Problem
#65Earlier quoted context omitted.
That is addressed in the article.
OpenAI's position: > We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem. While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models . However, our proofs differ significantly and even the precise results p…
I thought openai don't use any user data if we opt out of training and via api?
Re: On the Navier–Stokes Millennium Prize Problem
#66It's great that important discoveries like this can now routinely be accompanies by formalized proofs. The fact that it's being released alongside a Lean proof from Day 1, rather than the Lean proof being released months or years later, is super helpful for verifying that it's correct.
Re: On the Navier–Stokes Millennium Prize Problem
#67The modus operandi is now for the AI companies to watch if someone does something in the open like Kevin Buzzard on FLT, use their research and scoop them with brute force.
Or, in this case, stealing prompts from competitors.
Do not use stealing chatbots for research even if you think you have data agreements. The people running these companies have worked on hookup apps for Christ's sake. Get real.
Re: On the Navier–Stokes Millennium Prize Problem
#68> On Tuesday, September 1, we heard rumors that two Millennium Prize problems had been resolved
What's the other one?
Re: On the Navier–Stokes Millennium Prize Problem
#69Is this the one that was allegedly based on someone else's actual work & prompts? https://news.ycombinator.com/item?id=49605915 https://bsky.app/profile/quantian.bsky.social/post/3muyhwbcd... https://cims.nyu.edu/~tristanb/statement.pdf
Did you actually read the article and the substance of the solution?
>our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs unforced)
Re: On the Navier–Stokes Millennium Prize Problem
#70the context here is super important, for those who haven't seen it yet. OAI maybe just trained on a real researchers solution and then celebrated having scored the goal unassisted save for the brief commentary at the bottom of this blog post. Here's the other side. https://x.com/rynorhn/status/2097223532438487463
Did you actually read the article and the substance of the solution?
>our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs unforced)