New YorkNobody knows if smooth flow can blow up.
What the AI found versus what the humans proved is the real story.
Two mathematicians used heavy LLM assistance to prove three steps toward Navier-Stokes, two already checked by formal computer verification.
The results apply only to close cousin equations, and extending them to Navier-Stokes itself remains unsolved.
Sources: New Scientist