Navier-Stokes equations
TrialTechniques
Fundamental partial differential equations describing fluid motion.
Why it's here
Placed in Trial: 5 article(s) of evidence from 3 source(s), led by research-stage coverage, with 5 in the last 30 days. Confidence 53%.
Evidence (5)
- 7Hacker News·9/13/2026researchTerence Tao essay argues AI does not mean mathematics is solved
A guest essay on Terence Tao’s blog responds to OpenAI’s reported AI-generated solution to the Navier–Stokes existence and smoothness problem. The authors argue that a valid mathematical solution requires an intelligible proof, and that mathematics is broader than problem solving alone, encompassing theory building, new concepts, and scholarly practice.
- 7Hacker News·9/10/2026researchOpenAI Navier-Stokes release includes a Lean 4 proof
The article says OpenAI’s Navier-Stokes release included a formal proof written in Lean 4, highlighting the use of theorem proving in a high-profile research release. The Hacker News discussion centers on the significance of combining AI research with machine-checked mathematical verification.
- 9Hacker News·9/8/2026researchOpenAI and researchers clash over AI-assisted Navier–Stokes proof
NYU professor Tristan Buckmaster and Anthropic mathematician Levent Alpöge announced partial progress on the Navier–Stokes existence and smoothness problem using AI models, but said OpenAI may have learned of their approach before publishing its own proof attempt. OpenAI later posted a proof claim based on work from an unreleased next-generation model, alongside a timeline suggesting its effort began after rumors of progress on Millennium Prize problems.
- 10Simon Willison·9/8/2026breakthroughOpenAI Claims a Navier–Stokes Millennium Prize Problem Breakthrough
OpenAI published an article describing progress on the Navier–Stokes Millennium Prize Problem, a major open problem in mathematics and fluid dynamics. The post sparked substantial discussion because the result, if validated, would represent a significant scientific breakthrough.
- 2Hacker News·9/8/2026researchNavier-Stokes statement by Tristan Buckmaster
This PDF appears to be a research statement by mathematician Tristan Buckmaster focused on the Navier-Stokes equations, a central problem in fluid dynamics. It is not a product or release announcement, but a scientific document related to ongoing theoretical research.