alt Hacker NewsOn the Navier–Stokes Millennium Prize Problem
Comments
Why almighty openAi doesn't solve PvNP problem :(
I guess solution had not yet appeared in training set.
Not a great time to be starting sophmore year in cs & math. Should I just say fuck it, and go hitchhiking across Europe with some friends?
We are living in the future.
Here they basically admit that they use session data for training, even sessions that are marked "not for training", and they justify this by "de-identifying" the session.
Which means they can learn from whatever you discuss with ChatGPT unless you are going through a clean API (perhaps Bedrock? Anyone know?)
> 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 proved are different in the Euler case (forced vs unforced).
And don't forget, this is the worst it'll ever be.
Only OpenAI could turn solving a Millennium Prize Problem into bad PR. Sad that such an amazing milestone in the trajectory of AI is mired under poor stewardship. AI may solve many human problems but it won't stop humans from being human.
Why is no one skeptical that the solution is correct? There's not a _single_ comment asking whether this proof is legit or not.
A huge result shadowed by a drama of them potentially training on the key idea. I guess the lesson is two-fold: if you have anything smart/unique make sure to not let their tools read it. The second part is that it's going to be more and more difficult to have anything smart and unique going forward (so guard it even more carefully if you get there).
I think the market for local models/private datacenters (for bigger businesses) is going to be big. Even if you don't have unique tech/idea/implementation sharing your business secrets with Altman/Dario/Elon/Zuck doesn't look very appealing going forward.
> How we found the proof
Easy, we stole it from Levent and Tristan
r/LocalLLama and r/LocalLLM are in tears today..
They deliberately stepped on a mathematicians work and stole their research because they were using Codex
> While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models .
Is the biggest fuck you to the mathematics community.
Credit? Nah if we think you’re close we’ll use your data and swamp you with our improved model. Then we’ll threaten you.
This is utterly shocking. Even the AI optimists did not expect this to happen in 2026. Wow.
Millennium Prize Problems were used as examples of something the current approach to AI just wasn't capable of, discussions that would result in "we'll need a totally new architecture".
It’s time to lockdown all papers and stop using AI if you’re a maths researcher.
Cause OpenAI will hear about it and beat you to publishing.
Any mathematicians here, does it read like a slop proof or a good proof. Yesterday the “concurrent work” was claiming that the proof is pure slop and he needed lots of time to clean it up, curious if OAI also ended up with such a proof!
The stochastic parrots have done it again!
Hard to know if it is unfounded conspiracy theory, but one can still notice that just for a rumor that they have heard, they would suddenly burn billions of token and a massive amount of resources. Where there is not a lack of problems that could be solved and they could have just waited for the release of the research result before doing anything else. As it was reported to have been done at least partially using openai codex, they would have received marketing credits for the discovery anyway.
So we can be suspicious that there is some truth, one way or another that they could have reused prompt/data generated by the user session.
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
Is this truly the beginning of the AGI era?
Running agents and prompting excessively to produce 'slopcode' to solve mathematical problems and generate a solution.
If this is what anyone calls 'slop' then slop has no meaning.
I'm all for it on the use case of solving mathematical breakthroughs!
[flagged]
[flagged]
https://x.com/kyanyang_/status/2097211154669998337
Just saw this a few mins ago.
OMG this is going to affect the lives of so many people! We have definitively reached AGI
This kind of thing is one of the reasons I really hate how AI is coming to fruition. These companies get a whiff of something valuable and they use their vast resources to take it for themselves. For everyone else, the only recourse is extreme secrecy.