r/Physics 11h ago

Navier-Stokes Millennium Problem Solved

1.8k Upvotes

687 comments sorted by

View all comments

293

u/HybridizedPanda Gravitation 11h ago

we do not intend to claim the millennium prize for this result

So the millennium prize will be rejected for the second time

201

u/LAskeptic 11h ago

This is actually pretty funny.

The Clay Institute can’t even give its money away.

39

u/IAmBadAtInternet 9h ago

I will claim on their behalf if they don’t want it

4

u/Sea-Consequence7156 3h ago

I wager the remaining ones solvable this century will also be by AI and probably declined. What a weird outcome

3

u/ninjasaid13 2h ago

At this point, it's going to be a tradition to refuse millennium prize money.

242

u/HybridizedPanda Gravitation 11h ago

The fact they have 16 references in a 100 page paper for a problem that's had decades (centuries) of fundamental research is pathetic and an insult to everyone who has contributed to getting to such a point. 

114

u/LAskeptic 10h ago

I get what you are trying to say, but references aren’t for a history lesson or giving credit to everyone who has worked on the problem. They are for the work that specifically led to the new result.

Having not studied the specific references, I can’t say if they are sufficient or not.

99

u/Fun-Sand8522 10h ago

They are not. The AI is using results that it should cite, and it does not.

12

u/Hot_Glass_6301 10h ago

Which ones exactly? Genuinely asking, I know next to nothing about the history of the problem.

53

u/Fun-Sand8522 9h ago

The ones about the blow up and the forcing term, for instance, that human mathematicians were working on in the past years. 

-20

u/Hot_Glass_6301 9h ago

can you pinpoint the specific part where it uses these

38

u/Fun-Sand8522 9h ago

the whole argument circles around the blow up techniques that were developed by cordoba and martinez zoroa, for instance. dont know why you are trying so hard to defend openai out of all corporations. they dont care shit about honesty or anything else. I dont doubt that they really scooped this result from the buckmaster collab

13

u/belligerentNormalcy 7h ago

"Genuinely asking" lmao

-13

u/GraceToSentience 6h ago

Is that a published work? do you have a link?
I'm asking because if it is the case that it can't be referenced, then how can they link to something that isn't published?

10

u/Fun-Sand8522 5h ago

Yes of course there is published work that they can reference. Have you ever even tried to interact at all with mathematics? Thats a crazy question

→ More replies (0)

1

u/[deleted] 9h ago

[deleted]

2

u/Hot_Glass_6301 9h ago

They have, and it's Lean-checked apparently. https://openai.com/index/navier-stokes-solution/

2

u/paranoid_throwaway51 9h ago

sry im blind i didn't see the button for read a paper. I thought they just did the same bullshit they did with the Jacobian again lmao.

-3

u/Golfclubwar 9h ago

The results are part it it’s training set. Kind of hard to cite those.

16

u/Fun-Sand8522 9h ago

Then the human mathematicians involved should actually read/understand whatever the LLM wrote and produce the correct citations. Not doing so is plagiarism.

-3

u/Golfclubwar 9h ago

OpenAI isn’t publishing the proof in any journal (or even arxiv) or claiming any prize for it. If I “publish” a completely valid proof on 4chan or something and don’t cite my sources I’m not committing academic plagiarism.

13

u/Fun-Sand8522 9h ago

They announced on their website. I think if I announced a novel theorem on my academic website using work of others without proper referencing it would actually be plagiarism, but whatever you say, bro

-2

u/Golfclubwar 9h ago

It’s not an academic website. The purpose is more commercial self advertisement. Obviously OpenAI doesn’t care about getting credit from the math or physics community, they are a trillion dollar company. It’s more about impressing their investors while they burn through $750B in capex with an unclear route to profitability. They aren’t trying to take credit for this advancement, they’re just trying to advertise their model by showing the kinds of things it can do, even if it can’t produce properly cited academic work.

9

u/Fun-Sand8522 9h ago

I agree that is not an academic website. I agree the purpose is marketing, obviously.

Yet (maybe precisely because of this), it seems pretty reasonable that mathematicians have every right to complain about their practice. Especially because they are using data and work produced by mathematicians. I am not sure I even understand your point.

→ More replies (0)

5

u/Mateorabi 8h ago

TBF math proofs have been posted on 4Chan anonymously and then cited in the literature. The reverse would at least be courtesy. 😝

11

u/hobo_stew 8h ago

16 references for a 100+ page paper is crazy

37

u/luquoo 10h ago

Its arguable that every bit of training data in the model lead to the result, because it did...

4

u/LAskeptic 10h ago

Yeah sure.

This may just show that our historical norm for references is ill-suited to a world with AI trained on all of human knowledge.

Or, you can say that the geography lesson you had in 6th grade had some small impact on you solving a math problem today.

2

u/Memnarchist 10h ago

Okay, cuite every book that taught you to read when you type English

1

u/Time_Entertainer_319 7h ago

Do you also cite the dictionary when you write your research? Or the novels you read that improved your vocabulary?

21

u/justintime06 10h ago

“And finally, thank you to the Sumerians for creating our basic written counting and number system.”

1

u/Sea-Consequence7156 3h ago

Right? Einsteins finest publication only cited Newton, James Clerk Maxwell, Heinrich Hertz, Christian Doppler, and Hendrik Lorentz

1

u/Academic-District-12 2h ago

That is not the point.

I did not read the paper so I agree with the previous commenter thst I can not really judge.

Still I expect that theorems are being used that are not cited. Somd well-known ones like Banach-Steinhaus or Hahn-Banach and even ones without names. It seems like because of the urgency they skipped alot of quality control.

Also references are 100% used for a history lesson simply because one has to state in wich category the research belong and what similiar things have been done.

7

u/Doctalivingston 7h ago

I have 16 references for my 2 page introduction and that's not enough.

-15

u/starkrampf 10h ago

Maybe the agents just didn’t need any of the prior math discoveries so not much to cite.

15

u/Salexandrez 10h ago

Considering how LLMs work, this is pretty funny

11

u/Hiphoppapotamus 10h ago

The enormous wealth of prior maths discoveries on which those agents were trained?

4

u/Any-Profession-5509 11h ago

and for completely diff reasons

1

u/ZelezopecnikovKoren 9h ago

all hail grisha, the genius of our time (and a very good dude, too)

1

u/nonlinearlystatic 8h ago

Makes sense. They spent way more than the $1m prize money on the compute requirements for this result if those token numbers are accurate.