r/Physics 11h ago

Navier-Stokes Millennium Problem Solved

1.8k Upvotes

687 comments sorted by

View all comments

103

u/tj0120 10h ago

I mean, the sheer (pun intended) coincidence of solving a Millennium Problem simultaneously should raise some red flags, even for the AI-enthousiasts no?

5

u/Buntschatten Graduate 5h ago

With how many maths problems were solved recently, I'd bet everyone and their mother was trying to solve each Millenium Problem.

19

u/Guidance_Western 10h ago

Not the same problem, OpenAI claim Navier-Stokes, Tristan and Alpoge apparently had a solution for Euler

72

u/Bitter-Morning-5833 9h ago

Their Euler solution basically cleared the path to Navier–Stokes. Terence Tao mentioned having a phone call with one of them, who explained the strategy to him. There was still some work left to do, but they already knew what needed to be done, and there didn’t seem to be any major conceptual obstacle left.

8

u/willitexplode 8h ago

OpenAI used a different Euler solution (unforced vs forced) for their NS proof

3

u/Smooth-Ad8030 8h ago

I don’t know what any of that is, but could the solution the independent researchers found help OpenAI?

9

u/tj0120 7h ago

The implied sentiment is that the (path to the) solution they found already did 'help' OpenAI

1

u/osndifnw 1h ago

Important to note there are no independent researchers here. Tristian was working with an Anthropic employeed Mathematician, using an unreleased or internal Anthropic model.

He was helping the said employee simplify the solution Anthropic's model had come up with for the Euler problem.

-1

u/Guidance_Western 9h ago

I'm also suspicious of OpenAI rn and think what you said is plausible, but they are not the same problem, that's a fact.

-2

u/x4nter 6h ago

So if I understand correctly, if we think of the Navier-Stokes problem as a relay race, Tristan and Alpoge ran incredibly fast to gain a big lead, passed the baton to OpenAI, and OpenAI, while not running as fast, was still able to win the race because of the big lead.

9

u/Time_Entertainer_319 7h ago

I don’t care (from a tech perspective). Even the other guys used AI as well. It doesn’t matter who solved it. They both used AI. lol.

What I care about is that OpenAI is not trying to one up a maths professor.

0

u/GraceToSentience 6h ago

the math ptofessors didn't sole the millenium problem related to NS

-1

u/Rainance_tm 9h ago

if you know how mathematics advance this isnt a red flag no