A new computer-assisted proof marks a major breakthrough in that quest. Mathematicians Coax Fluid Equations Into Nonphysical Solutions The famed Navier-Stokes equations can lead to cases where more ...