Quanta Magazine

Computer Proof ‘Blows Up’ Centuries-Old Fluid Equations

For more than 250 years, mathematicians have wondered if the Euler equations might sometimes fail to describe a fluid’s flow. A new computer-assisted proof marks a major breakthrough in that quest.
The Conversation

Millennium Prize: the Navier–Stokes existence and uniqueness problem

Jim Denier receives funding from the Australian Research Council. MILLENNIUM PRIZE SERIES: The Millennium Prize Problems are seven mathematics problems laid out by the Clay Mathematics Institute in ...
Quanta Magazine

What Makes the Hardest Equations in Physics So Difficult?

The Navier-Stokes equations describe simple, everyday phenomena, like water flowing from a garden hose, yet they provide a million-dollar mathematical challenge. Physics contains equations that ...