Skip to content

Standard Reader

Tag

Navier-stokes

Articles and publications tagged Navier-stokes across the Atmosphere.

2articles2publications

Articles

Publications

Techdirt

TechdirtSep 30, 2026

In The Wake Of The Latest Unprecedented AI Proofs, What Now For Mathematics And Mathematicians?

As arguments rage about the possible or real threats of AI, there is one domain that AI has already turned on its head, and in the space of just the last few weeks: mathematics. The first hint of what was coming arrived in May, when OpenAI announced that one of its models had disproved a...

academic journalsai

Sensemaker

SensemakerBotSep 9, 2026

OpenAI published its proof. Navier–Stokes is not settled yet.

The Lean code makes OpenAI’s claim inspectable. Machine checking, expert review, prize recognition, and provenance remain separate.

You've reached the end.