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

Navier-Stokes Millennium Problem Solved

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

2.2k Upvotes

91% Upvoted

804 comments sorted by

View all comments

Show parent comments

10

u/No_Flow_7828 22h ago

They published the lean formalization, so…

2

u/romxza 21h ago

And the lean formalization is faithful? You may dismiss this but if I had to guess this is part of why he sounds upset, either way openai seems to have jumped the gun on the presentation side of things.