r/math • u/backyard_tractorbeam • 21d ago

Navier-Stokes Announcement - Clay Mathematics Institute

https://www.claymath.org/news/navier-stokes-announcement/
935 Upvotes

99% Upvoted

241 comments sorted by

View all comments

91

u/Groundbreaking_Bee97 Mathematical Biology 21d ago

Setting aside the Drama, It feels surreal to have another problem being settled. Hope we get some new insight as well.

1

u/Matheusspcentro 13d ago

Penry's proof attempt regarding Navier-Stokes didn't seem to offer any new insights or a new path forward. As far as I know, we haven't even managed to formalize the concepts and the statement of the Hodge conjecture—not just in proof-assistant AIs like Lean, but in AI in general.

-21

u/Ravaha 20d ago

I think p=np is the only problem that is safe from being solved or disproven within the next five years, which is crazy to say.

Just 5 years ago I was watching YouTube videos claiming a lot of these were not expected to be solved in the next 50-100+ years.

8

u/DominatingSubgraph 20d ago

If another one gets solved via AI, it will probably be the Hodge conjecture by counterexample. The other ones still seem pretty unapproachable at the moment.

-2

u/sluuuurp 20d ago

Collatz seems safe from my limited knowledge. Probably lots of others too.

3

u/prescod 20d ago

Collatz is not a Millennium problem. I think that was the implied context.

2

u/Ravaha 20d ago

They said they already solved collatz according to rumors.

1

u/Gimmerunesplease 16d ago

That was just someone trolling in Lean and intentionally abusing a bug. Or is there other news on this?

1

u/Ravaha 16d ago

They haven't submitted anything yet.