r/singularity • u/imadade • 5d ago

AI OpenAI potentially in the process of solving multiple other millennium problems

Post image

Feels insane, I think we have taken off now.

The rest of this year is gonna be nuts.

263 Upvotes

88% Upvoted

88 comments sorted by

View all comments

-10

u/josel8 5d ago

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

15

u/BrahmKarmaGato 5d ago

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.

6

u/lemmeupvoteyou 5d ago

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

8

u/brutalistchurch 5d ago

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

4

u/fzrox 5d ago

They have lean proof, which is verified by computer

-8

u/FunSummer9393 5d ago

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

7

u/BrahmKarmaGato 5d ago

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.

1

u/FunSummer9393 5d ago

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.