Lean
- Post 7Analysis
Navier-Stokes and the Future AI Acceleration in Science
A partial resolution of a Millennium Prize problem is a milestone for frontier models in the "thinking" layer of science. But axiomatic reasoning, while foundational, is only a component of the scientific stack that runs up through compute, data, and new instruments.
