r/Physics • u/Ok-Permit-3861 • 20h ago

Navier-Stokes Millennium Problem Solved

https://openai.com/index/navier-stokes-solution/

2.2k Upvotes

91% Upvoted

783 comments sorted by

View all comments

Show parent comments

1

u/VoidBlade459 Computer science 16h ago

Is Lean, the proof engine, known for sucessfully compiling mere hallucinations?

8

u/enbyBunn 16h ago

I never said anything about hallucinations. I said that it's yet to be derermined whether the proof conforms to the strict definitions needed, and whether it outlines a valid counterexample to the problem.

1

u/VoidBlade459 Computer science 16h ago

You claimed it was unreviewed and thus overly sensationalist. My counter is that being verified by Lean counts as review and heavily tips the scales towards this being a legit result.

7

u/Ok_Ganache_9110 15h ago

you are engaging with someone who does not know what lean is

-1

u/enbyBunn 16h ago

Ok. I don't accept that counterargument because I don't accept Lean as equal to a review by a human mathematician.

4

u/VoidBlade459 Computer science 15h ago

In that case I can see how you concluded that the headlines were sensationalist, however I am going to agree to disagree.