Averaged Navier-Stokes equation blows up in finite time
New CapabilitiesTao's 2014 construction shows why the Millennium Prize problem resists standard PDE techniques
2 days ago: Hacker News discussion resurfaces Tao's paperNew here? Follow stories to track developments over time. Create a free account to get updates when stories you care about change.
Overview
Updated 58 minutes agoA $1 million prize problem in fluid dynamics has resisted proof for over two decades. Terence Tao's 2014 construction shows why: he built an averaged version of the Navier-Stokes equations that blows up in finite time, even though it conserves energy exactly like the real equations.
The result doesn't disprove global regularity for the actual equations, but it demonstrates the 'supercriticality barrier' that any proof must overcome. A 2026 preprint claims to have achieved finite-time blowup for the true equations, though the claim is unverified.
Why it matters
The Navier-Stokes global regularity problem carries a $1 million Millennium Prize; Tao's result shows why it resists standard PDE techniques.
Questions about this story
Free account needed to ask — your question is kept and asked for you right after sign-up. Answers are public.
No questions yet — be the first to ask.
Key Indicators
Voices
Curated perspectives — historical figures and your fellow readers.
Play
Exploring all sides of a story is often best achieved with Play.
Higher or Lower
A number from this story, against one from elsewhere in the news — guess which is bigger, then keep the chain going. 5 rounds, 3 strikes; a miss costs a strike and resets your streak.
Keyboard: ↓/L lower · ↑/H higher
0 points — sign up to put that on the leaderboard.
Connections
Sixteen names from the news. Find the four hidden groups of four. Four mistakes max.
Sign up to keep a daily streak — a new puzzle lands every day.
Exit debate?
Your progress in this debate will be lost.
- 1 Two AI personas square off on this story.
- 2 You predict who'll win each round — correct picks earn XP.
- 3 One crossfire question is yours to fire. Pick it carefully.
Couldn't generate a topic
Select Your Champions
Choose one persona for each side of the debate
DEBATE TOPIC
Choose personas with different perspectives for a more dynamic debate.
Select debater for this side:
No debate personas available right now.
Select debater for this side:
No debate personas available right now.
Who's Got This Round?
Make your prediction before the referee scores
The referee scores both sides on
Round Results
Set the Crossfire
Pick the question both personas must answer in the final round
Debate Oracle! You called every round!
Sharp Instincts! You know your debaters!
The Coin Flip Strategist! Perfectly balanced!
The Contrarian! Bold predictions!
Inverse Genius! Try betting the opposite next time!
XP Breakdown
Prediction History
People Involved
Organizations Involved
Timeline
February 2014 September 2026
-
Hacker News discussion resurfaces Tao's paper
Latest DiscussionTao's 2014 paper is discussed on Hacker News, likely in the context of the 2026 blowup claims.
-
Preprint claims finite-time blowup for the true Navier-Stokes equations
ClaimA preprint (arXiv:2604.09949) claims to construct explicit initial data that blows up in finite time, settling the Millennium Prize problem in the negative. Unverified.
-
Partial regularity paper extends Tao's result
ResearchA follow-up paper proves blowup for α-dissipative averaged equations with α < 5/4, and bounds the blowup set's Hausdorff dimension.
-
Regularization by noise paper studies Tao's model
ResearchA paper analyzes whether stochastic transport noise can prevent blowup in Tao's averaged equation.
-
Paper appears in the Journal of the American Mathematical Society
PublicationThe paper is published in JAMS, one of the top mathematics journals.
-
Tao publishes averaged Navier-Stokes blowup paper
PublicationTao posts the paper on his blog, constructing an averaged Navier-Stokes equation that blows up in finite time.
Historical Context
3 moments from history that rhyme with this story — and how they unfolded.
Perelman's Poincaré conjecture proof (2003)
Grigori Perelman posted three papers proving the Poincaré conjecture, the first Millennium Prize problem to be solved. His proof was verified by multiple teams of mathematicians within a few years.
Perelman was awarded the Millennium Prize in 2010 but declined it, along with the Fields Medal in 2006.
It remains the only Millennium Prize problem solved, showing both the difficulty of these problems and the verification process for major claims.
Perelman's proof shows what verified resolution of a Millennium Prize problem looks like, in contrast to the unverified 2026 Navier-Stokes claim.
Katz-Pavlovic dyadic model (2005)
Nets Katz and Pavlovic constructed a dyadic shell model of the Navier-Stokes equations that blows up in finite time. The model simplifies the nonlinearity by averaging over frequency shells.
The model provided evidence that the nonlinearity alone could drive blowup, absent the finer structure of the true equations.
Tao's 2014 paper builds directly on this model, using a more complicated system of ODEs related to the Katz-Pavlovic construction.
Tao's averaged equation is a sophisticated extension of the Katz-Pavlovic model, showing the same blowup mechanism survives in a setting that obeys the energy identity.
Otelbaev's Navier-Stokes proof claim (2013)
Mukhtarbay Otelbaev, a Kazakh mathematician, posted a 100-page paper claiming to prove global regularity for the 3D Navier-Stokes equations. The claim drew intense scrutiny from the global mathematics community.
Within months, mathematicians identified errors in the proof, including a flawed inequality in the final section.
The episode reinforced skepticism toward unverified Navier-Stokes proofs and highlighted the difficulty of the problem.
The 2026 preprint claiming finite-time blowup for the true Navier-Stokes equations faces the same verification gauntlet that Otelbaev's claim did.
