cd/entity/Navier-Stokes equations· home› entities› Navier-Stokes equations
grep -l @navier-stokes equations /news/*.json | wc -l → 18

Navier-Stokes equations

mentions 18 type Person feed RSS

// recent coverage 18 mentions

10:14
2026-09-22
scientificamerican.com
artificial-intelligence

Did OpenAI solve the wrong Navier-Stokes problem?

Three mathematicians posted a proof on arXiv showing that OpenAI's claimed solution to the Navier-Stokes problem can never be extended to the full problem, because the method only produces a blowup wh…

17:51
2026-09-16
8braid.com
artificial-intelligence

OpenAI's Navier-Stokes Proof Meets a New Kind of Database

8Braid reproduced OpenAI's September 8 AI-generated proof of finite-time breakdown for the Navier-Stokes equations and its Lean formalization, confirming that both the Nanoda kernel and Lean's default…

13:55
2026-09-11
nonlineartransform.substack.com
ai-safety

For safety: Keep AI lonely

A developer argues that the primary safety risk from AI agents stems from their ability to coordinate in massive swarms rather than raw intelligence, citing claims that OpenAI used roughly 10,000 agen…

19:57
2026-09-09
plagiarismtoday.com
artificial-intelligence

Who Gets Credit When AI Makes a Breakthrough?

OpenAI announced that an internal model produced a proof that Navier-Stokes equations can 'blow up', a problem unsolved for over 90 years and one of the Clay Mathematics Institute's Millennium Prize P…

11:25
2026-09-09
qazinform.com
artificial-intelligence

OpenAI says AI cracked century-old maths problem

OpenAI announced that its AI system produced an analytical proof and Lean formalization showing that an initially smooth fluid at rest can develop a singularity in finite time, potentially solving a 9…

// co-occurs with top 8 entities
// topics top 6 topics