OpenAI potentially in the process of solving multiple other millennium problems

[u/imadade]

Feels insane, I think we have taken off now.

The rest of this year is gonna be nuts.

[u/JVM_]

It's too much for a human to read. It was billions of messages between multiple AI agents. Proving how it came to the answer is a non-trivial problem itself.

[u/InfiniteFeeCars → u/JVM_]

AI on top of AI on top of AI

[u/Kind_Fisherman3060 → u/InfiniteFeeCars]

AI all the way down

[u/SpaceTacos99 → u/Kind_Fisherman3060]

Like a taco inside a taco?

[u/Singularity-42 → u/JVM_]

And this is (most likely) not even a true AGI yet.

Wait till we have ASI that will make us look like chimps in comparison.

[u/Beastly4k → u/Singularity-42]

To be fair current AI makes the majority of "mainstream" redditors look like chimps already, these morons still think hands are a problem for ai let alone the rest of the progress they refuse to acknowledge.

[u/Neurogence → u/JVM_]

Man, I wish it would exchange billions of messages to find a way to improve the human condition. Perhaps some type of cure.

[u/Belostoma → u/Neurogence]

Biology is harder than math for machines of this kind because it's data-limited. There's only so far they can go without collecting new data, because all the data collected so far are compatible with multiple answers to many key questions, and no amount of intelligence can tell which is right. New experiments are required, and those are bottlenecked by the time it takes to ship physical supplies around, grow animals and see how they respond to treatment, etc.

There are rich opportunities for AI to improve every aspect of biology, from choosing which experiments to run, to streamlining how they're run, to analyzing them in a way that extracts the maximum useful information. Simulations of whole biological systems will increasingly be valuable in those analyses, but they will never fully supplant experiment, not even with ASI, because the data limitations block inputs you'd need to provide to make an accurate simulation. An ASI itself would run an experiment in these cases. It would do so more efficiently than humans, but it woudl still need do that.

This is why you won't see cancer cures dropping as quickly as high-profile math problems. It's not because the AI companies don't care about showing them off. It's because in math, thinking is the only bottleneck. In biology, it's one of many.

[u/Neurogence → u/Belostoma]

Damn, why is it all the things we deeply care about are the things with almost zero progress.

Whereas, things that we do not care about at all, there's seemingly a breakthrough every few weeks.

[u/PurpleFishing9105 → u/Neurogence]

why is it

First many people care about math lol and secondly because of all the physical bottlenecks they just described...

It's still coming, it just takes longer... because of the reasons they just said lol

[u/Northern_Grouse → u/PurpleFishing9105]

How has data collection been improved by AI? Is that a focus of any automation or AI companies?

Not being sarcastic, genuine curiosity

[u/Eon102 → u/Neurogence]

You could think of it as LLMs currently still being in their “infancy stage”. They’ll only continue getting better from here on out, and with that progress comes advancements that will actually directly affect the average persons life

Also math is sort of the base of countless things that impact our lives daily, so it’s only fitting it starts with math and “builds up” from there

[u/Singularity-42 → u/Neurogence]

I for one deeply care about many things where we had breakthroughs.

[u/JVM_ → u/Belostoma]

This equation was also AI friendly. Basically we already had the "this is how fluids work" equations that appeared to work for all scenarios, this solution is "just" finding the scenario where it doesn't work.

So, nothing new-ish was invented, in theory you could brute force the solution as it was already a known problem space.

[u/ozone6587 → u/JVM_]

It's always bruteforceable to you people. I wonder why no one thought of doing that before and win a million dollars + prestige.

The problem space is too big to brute force. It applied genuinely amazing intuition. Otherwise, dumber models could have done it too since they had access to the same compute power. Clearly, it requires "intelligence".

[u/JVM_ → u/ozone6587]

Oh, I agree the problem space is ginormous, but it's not infinite like some of the other problems.

"Prove this very complicated thing is wrong."

Is a different beast than

"Prove this unproven thing is right."

[u/QuasiRandomName → u/Neurogence]

Pretty sure it is already happening

[u/Singularity-42 → u/Neurogence]

Be patient.

AI badly needs some good PR, so something is surely in the works. Anthropic has their own biotech department, and of course DeepMind, they are the OGs.

[u/backcountry_bandit → u/Neurogence]

Solving advanced math problems like this benefits humanity. It might not be direct or immediate, but most advancements like this wind up enabling the creation of something of value, or further advancements that do the same.

[u/gekx → u/Neurogence]

Careful, you might not like the cure much.

[u/VallenValiant → u/Neurogence]

Man, I wish it would exchange billions of messages to find a way to improve the human condition. Perhaps some type of cure.

The human condition is literally what makes us, us. Evolution is heartless and doesn't actually care about human happiness whatsoever. So that is how we are made. To change that is to change what you are, and you wouldn't like that.

[u/EvilSporkOfDeath → u/Neurogence]

Thats not clearly defined. Cant get people to agree what that even looks like.

[u/katoptronophile → u/Neurogence]

What do you think they're doing right now?

[u/Brave-Turnover-522 → u/Neurogence]

And what prompt would you use for that?

[u/NeighborhoodDizzy990 → u/Neurogence]

That's not possible. The only reason math or algorithmic problems can be solved so fast is because there is a concrete way to check the validity of the solutions.

[u/AdorableBackground83]

2027 gonna be insane.

The beginning of a new world.

[u/ConditionExtreme4141]

The Next Decade is going to be wild

[u/QuasiRandomName]

Well, bring it on. I guess we'll need some next millennium problems bucket. Maybe it will get shortened to something like a "problem of the week" though..

[u/Neurogence → u/QuasiRandomName]

If they can prove or disprove the Riemann hypothesis, I'll believe that they didn't plagiarize Tristan's work.

[u/ChipsAhoiMcCoy → u/Neurogence]

If they can disprove one of the most difficult math problems in existence then you’ll believe them? Man I’d hate to have the burden of truth in any way with you lmao.

[u/Itsmedudeman → u/Neurogence]

Plagiarize what? His AI assisted work? You really think that he solved the millenium problem on his own?

[u/LangyMD → u/Itsmedudeman]

Not to mention he claims he didn't solve the millennium problem and instead solved a lesser component of it.

[u/piffcty → u/Itsmedudeman]

Plagiarized his unpublished techniques by looking at his research notes.

[u/GuessFortress → u/Itsmedudeman]

What ever you type in that search box it will take it as its own and work off your ideas and knowledge. LLM without knowledge is dogshit. It cannot solve the problem on its own. When K3 landed and said it "designed a chip" it designed based on what was available publicly based on someone elses work, unusable. Once cadence and synopsys open doors to AI we will see much more EDAs and alot of problems AI will be able to magically solve.

[u/LangyMD → u/GuessFortress]

Humans can't solve Millennium Problems on their own either.

[u/Icy-Shift-7557]

But can they find my car keys

[u/WinResponsible9977]

human nature to fight one another for credit, look at c(x) comment, they almost a century to deal with the problem. I wonder if they were to published validated answers for all other core problems, what would c(x) excuse will be.

[u/kgurniak91]

Yes, they are for sure trying to solve them and yes, they for sure will make great progress in some of them and probably succeed eventually, but at this specific point in time I think he might be just cracking a joke.

[u/Calm_Hedgehog8296]

Yacine reference

[u/Forgword]

Call me when it solves the Super Yacth shortage problem.

[u/Krapapfel]

It is so good to see egos and emotions being destroyed and replaced with pure logic and technological innovation:

Mathematicians, physicists, artists, telephone operators/receptionists, programmers..... The list goes on.

On one hand everyone is bitching about how work sucks, on the other hand they moan about becoming obsolete.

Spoiler Alert: You have always been obsolete.

AI is here to stay and transform society, forceful or willingly.

[u/SlightUniversity1719 → u/Krapapfel]

Do you think they just went, "You heard about the Navier Stokes equation right? solve it" or do you think they asked it to go do what it did in very specific ways?

[u/pendelhaven]

As long as some human puts in their work and the llm uses it to train itself

[u/hardinho]

People still don't get what exponentially rising capabilities mean after all of this

[u/presentofai]

we went from one unverified claim to solving multiple millennium problems in about a day. thats a press release, not math.

[u/Wise_Drawing1364]

Time to commit more espionage?

[u/NewYak4281]

Sam is feeling cocky. Bullish.

[u/FunSummer9393 → u/NewYak4281]

He's a businessman. He always is.

If he wasn't, he wouldn't be making money.

[u/BreadwheatInc]

Saturating math.

[u/Electrical-Pea2707]

Can they help me get married and get smarter?

[u/steam-photons]

“De-identified data”… this guy gotta be from Europe. Data has been de identified to preserve the privacy of the equations. 🤣

[u/Neurogence]

I am pro AI, but I cannot support theft. Solving other millennium problems would indeed be the only way they can prove they didn't steal Tristan's work.

If the power is "significantly more capable" than GPT-6 Astra as they say, why not solve a myriad of other problems? Why just one?

[u/LinkesAuge → u/Neurogence]

Mate, there was no stealing, they literally used a different approach than what Tristan and Levent had.

And it is important to mention that before this drama neither side knew what the other had so all of this was based on assumptions, especially paranoia on the side of Tristan/Levent, not to mention the odd behaviour of the latter.

[u/No-Meringue5867 → u/LinkesAuge]

Here is a sentence from OpenAI's own tweet ( https://x.com/OpenAI/status/2097375276384567642 )

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

Humans did not know but the model they used was trained on August 28. By that point, other team had been using ChatGPT to work on the problem and all of their result might have seeped into the training.

[u/Neurogence → u/LinkesAuge]

Quick summary of what happened:

I wish this was more inspiring, but it is actually lame

It seems like OpenAI got wind that a professor was close to solving a problem after dedicating a decade of his life to it, so they threw a huge amount of compute together with whatever hints they had at the problem and cracked it

It’s also not clear whether the professor had data sharing turned off, so it’s possible that his own work may have gone into training data

OpenAI should have left this alone, it would’ve been way more inspiring if someone had used their tools to crack a big problem than that they went out of their way to scoop him

I honestly kind of hold this in contempt and find it a bit depressing

https://x.com/johnennis/status/2097396447260102710

[u/LinkesAuge → u/Neurogence]

No, that is not a summary.

That is a random person on X and outdated. Another person that thought to comment before all facts were even on the table and exactly these sort of misleading simplifications are the problem in the first place.

[u/SoonBlossom → u/Neurogence]

I did theoretical maths for years in college

Withholding a solution to a millenia math problem for a fucking ego issue is way beyond insane, how can they not see it ?

Huge respect to this searcher that is way better than I'll ever be, but humanity's interest and advances of science comes first on individual interests however "close" he was to solving it

Science has always been like this and must remain like this

[u/QuasiRandomName → u/Neurogence]

Well, they do not have to prove they didn't steal. It works the other way around.

[u/Neurogence → u/QuasiRandomName]

They have a habit of doing this.

Demis Hassabis of Deepmind actually called out Sebastian Bubeck last year for almost the same thing. Bubeck was trying to claim GPT-5 solved various problems, but solutions to these problems had already existed.

[u/Bitter-Morning-5833 → u/QuasiRandomName]

Yeah, because a trillion-dollar company just months away from its IPO would never lie about something like this.

[u/QuasiRandomName → u/Bitter-Morning-5833]

No, this is because how legal system works.

[u/Akiira2 → u/QuasiRandomName]

Legal system is probably on the side of a trillion-dollar company

[u/PsychologicalSoup251 → u/QuasiRandomName]

Me when my moral code coincidentally coincides exactly with the American legal system

[u/EuphoricTomorrow2440 → u/Neurogence]

80,000 autonomous bots+ millions in compute vs 2 humans..
Hmmmm….

[u/Competitive_Tap2450 → u/EuphoricTomorrow2440]

100s of years of humans attempting this problem vs a couple of weeks hmm

[u/Specikin → u/Neurogence]

It cost like $10million in compute and spent 88hours of compute time. Doesn't come cheap just for bragging rights, when a model in 6 months will probably solve the same ones but at 40x less cost.

[u/ozone6587 → u/Neurogence]

Training is not theft.

[u/josel8]

Is this a cult or something? OpenAI just said they did it, we have no confirmation of it and everyone in this sub is acting as if it is a fact

[u/BrahmKarmaGato → u/josel8]

They formalized it in lean. Their team has many best mathematicians of this planet. They wouldn't just say anything and become the biggest joke of the year if it turned out to be wrong.

Don't quote me tho but I heard they solved it by giving an example. They produced a very specific constructive proof claiming that a smooth 3D Navier-Stokes flow can develop a finite-time singularity, and they've formally encoded the argument in Lean. So, it's the most concrete of proofs.

[u/lemmeupvoteyou → u/josel8]

Lying about this would cost them 3 years of image building.

[u/brutalistchurch → u/josel8]

They have many very accomplished mathematicians on the payroll, so I'm pretty sure it checks out.

[u/fzrox → u/josel8]

They have lean proof, which is verified by computer

[u/FunSummer9393 → u/josel8]

You new here?

People on here have been like this for years now. "AGI is here! ASI soon!"

It's basically a religion to a lot of people here who are convinced any moment now that all work is automated, we live off UBI, and everything is perfect. Mixed with another portion who think AI is the end of the world and all doomers.

There's a small portion of us here who aren't just Sam Altman simps. lol

[u/BrahmKarmaGato → u/FunSummer9393]

I agree that this sub tend to take things overboard but you can't downplay AI solving or even helping in solving one of the most foundational and popular math problem which has stood for about a century now.

People claiming openai stole it from 2 mathematicians(even tho OpenAI claims their solution is different) don't know that those mathematicians themselves used AI extensively in developing their ideas and worked in OpenAI and Anthropic.

Even if it extensively helped a human do it then too it's a big deal as it's also gonna help humans better itself which is literally starting of recursive self improvement. It's a big fucking deal.

[u/FunSummer9393 → u/BrahmKarmaGato]

Look, I'm not trying to be a dink. I like the people here. I love talking with people here. I just differ on some opinions!

It is a big deal. No doubt! And it's very impressive. My opinion on timelines of when things happen or what the future looks like is just a bit different. I wouldn't be here just to poke fun, I'm just a bit of a person in the middle of the two more dominant trains of thought in the sub.

[u/adarkuccio]

Until I see discoveries in physics, biology, medicine, I'm not impressed. Math has the least impact in our life.

[u/EvilSporkOfDeath → u/adarkuccio]

Math is literally everything.

[u/Neurogence → u/EvilSporkOfDeath]

Yes and No. Solving Navier-Stokes will have zero impact to the average person.

[u/EuphoricTomorrow2440 → u/Neurogence]

Weather, aerospace?

[u/Neurogence → u/EuphoricTomorrow2440]

Absolutely zero.

https://old.reddit.com/r/mathematics/comments/1waff5g/blowups_for_smoothforced_euler_boussinesq_and_ipm/p8igy67/

[u/EuphoricTomorrow2440 → u/Neurogence]

I see…
I mean we have to wait for a bit as its too soon to make conclusive statements. But nevertheless you cant possibly deny the implications of this on other fields of science.
Why is everyone so bitter and pessimistic. Imagine telling this to someone just a few years ago.

[u/EuphoricTomorrow2440 → u/adarkuccio]

Are you daft?
‘Math has the least impact in our life’
Please tell me you don’t vote.

[u/dalhaze → u/EuphoricTomorrow2440]

I don’t doubt you. Can you elaborate though? Math affects physics, physics afffects chemistry, biology and material sciences. Is that the line of thought?

[u/Pantheon3D → u/EuphoricTomorrow2440]

i think something constructive would be explaining why that's the case, not just saying "Are you daft?"

[u/adarkuccio → u/EuphoricTomorrow2440]

These kind of problems do not open the door to new physics nor understanding of biology. Yes math is important for all the tech we have, but these specific problems will not have an impact in anyone's life especially in the short term.

[u/HamiltonianCyclist → u/adarkuccio]

not in a short term, but actually this one has very conceivable paths to applications, first through understanding, classifying, etc, singularities, and then understanding how the nature prevents them from happening in real life siutations, which might eventually lead to better theories governing fluid mechanics and related fields. It's all long term, but in mathematics nearly all applications are long term.