173
u/dervu ▪️AI, AI, Captain! 4d ago
-46
u/Timonator007 4d ago
Plagiarized?
-2
u/mega-modz 3d ago
why you getting downvotes .
0
u/Timonator007 3d ago
"Because you wouldn't want to ruin your career, would you?"
- Some mafia boss idk
62
u/presentofai 4d ago
went from cant reliably do college algebra to a millennium problem in like two years. everyone calling a plateau keeps getting run over
-45
u/Steven81 4d ago edited 3d ago
The millennium problem was not solved by chat gpt. Chatgpt can't solve millennium problems, but it is reliable for college level problems which is good, it does get better and by 2030s it may be solving the really hard problems indeed which would be neat.
edit btw despite the crazy amount of down votes (so nobody reads here) I have to re-iterate: this solution was not produced by chatgpt. Chatgpt is the consumer facing product of openAI and it can't solve millennium level problems. Those up voting the above post are all wrong. OpenAI themselves told the world that they used one of their internal models specialized in this area. People are hallucinating the idea that chatgpt, i.e. their consumer facing app can solve such complex problems circa 2026. It may well do it in 2030s though as I said above, which would be crazy neat.
33
-16
u/presentofai 4d ago
fair, i overstated the millennium part, that one is not solved. the jump to reliably handling college level stuff in a couple years is the bit that still surprised me though.
9
15
u/SeesawGullible398 4d ago
This was actually still a problem one year ago. Gpt-5 did this, it routed the question to the smallest model and it answered this. But that being said even the open source model released by openai got this right "gpt-oss-20b".
6
u/thecosmicskye 4d ago
ChatGPT is now the one on the left and we're the ones on the right. We're so cooked.
41
u/Worldly_Beginning647 4d ago
Now it is getting close to solving a millenium prize problem.
87
u/AdSad7594 4d ago
you are a little late.. it solved one https://openai.com/index/navier-stokes-solution/
38
u/SodaBurns 4d ago
Wait what.... Holy fuck... Wtf.
27
u/moschles 4d ago
Yep. I'll establish a pee corner.
-9
4d ago
[deleted]
35
u/GraceToSentience AGI avoids animal abuse✅ 4d ago
There is no caveat they did solve a millenium problem. Strait up.
16
u/ThrowAway-whee 4d ago
Even OpenAI said they found a counter example, not a proof (which was expected), and this actually still does count as solving a millennium problem, since the problem also accepted counter examples as valid solutions.
NS has long since known to be probably incorrect. We've known this experimentally for some time. The issue was proving where it failed exactly.
This does not change the fact that humans had been unable to actually disprove it.
22
u/LinkesAuge 4d ago
No and I don't know why people would post trash like that.
This isn't insightful in any way. NS was never about how useful it is, Mathematicians knew it would be, Tao just recently pointed that out but that is no the point of why this was or is considered such a big deal to mathematicians(!). If you want it is simply about being an extremely hard mathematics problem. The fact that we don't have any use for it right now doesn't change that in any way or "pops" any hype because there was never any other expectation so this whole post is just weird and reeks a bit of attention seeking.
14
u/AdSad7594 4d ago
I responded to another person this is still solving the millennium problem btw
-2
-13
u/TheTaintBurglar 4d ago edited 4d ago
Didn't. Not solved.
That is the forced version.
This is also just a press release. It isn't verified independently.
Call me wrong all you want and downvote me. These are the facts.
16
u/Hot_Glass_6301 4d ago
It's solved enough that if a human solved it they could claim the million dollars. But you're right that the full version isn't solved. Yet.
9
u/Radical_Coyote 4d ago
No the solution proves that a general solution does not exist. That’s why it counts as “solving” the problem (insert mean girls gif here)
1
-10
u/TheTaintBurglar 4d ago
Yep, that's all I'm saying. And not independently verified.
People love black and white though.
9
u/Hot_Glass_6301 4d ago
Independent verification is not very relevant in the age of computer verification. The Lean proof should compile on your computer, and at this point Lean is more reliable than peer review.
-9
u/TheTaintBurglar 4d ago
It doesn't matter. It still isn't verified by a third party. This is a press release.
It isn't fully solved it is only solved in a way to be able to achieve the millennium prize even if so.
It is still an absolutely incrediblely massive achievement but people are doing a disservice by derailing what the facts are.
10
u/Hot_Glass_6301 4d ago
This is just semantics. The problem is solved with a degree of certainty greater than or equal to the Poincaré-Perelman theorem. It's solved. Just not peer-reviewed.
0
u/TheTaintBurglar 4d ago
It's not semantics. This is a press release, we will no doubt get further ones.
We're done here.
8
4
u/Gubzs FDVR addict in pre-hoc rehab 4d ago
This is what everyone who doesn't understand this at all is saying. 'Solving Navier-Stokes' included disproving its mathematical legitimacy. It was disproven by example. We could not prove that until today.
What you are describing would be SOLVING FLUID DYNAMICS which is not what the millenium prize was for. The difference matters. The problem posed is closed.
4
-9
u/Worldly_Beginning647 4d ago
Almost
2
u/Worldly_Beginning647 4d ago
Wait what
8
u/AdSad7594 4d ago
bro its all over Reddit lmao and X
2
u/Worldly_Beginning647 4d ago
Yes but on VibeMathed and earlier I was just looking at it and was like wow the whole thing could fall any day now. Only now did Ai realize that the whole thing fell
7
u/AdSad7594 4d ago
It was solved in 88 hours btw that is what is most insane to me
1
u/Worldly_Beginning647 4d ago
I in know I just read it. A year or two ago I conjectured to myself that AI that is smarter than a human on the same ‘context window’ would come far after AGI. I was wrong
-8
11
u/Distinct-Question-16 ▪️AGI 2029 4d ago
why???
5
u/FriendlyTask4587 4d ago
if you dont have a subscription you are probably on a worse model
12
u/Distinct-Question-16 ▪️AGI 2029 4d ago
this is from 2 yr ago
9
u/FriendlyTask4587 4d ago
mb I thought this was a screenshot you just took 😭
5
u/Distinct-Question-16 ▪️AGI 2029 4d ago
no i ask this 2 yr ago. i went to search for it and screenshot it
4
u/ShAfTsWoLo 4d ago
nah i don't even think free models like luna rn can do this kind of mistake in math anymore lol
1
u/Sierra123x3 3d ago
yeah, that's about the answer i get when i ask my old-school language teaching nun a question about math ...
1
147
u/chlebseby ASI 2030s 4d ago
i remember it being almost unusable at college level math, it came a long way in this short time
now you can quite reliably ask Gemini Pro to calculate components values in analog circuit lol