How An AI math breakthrough ignited a controversy

Nearly 200 years ago, Claude-Louis Navier and George Gabriel Stokes sought to describe the chaotic motion of fluids mathematically, writing down equations that are still routinely used by everyone from aircraft designers to climatologists. But the formulas they developed weren’t guaranteed to describe all possible conditions. Mathematicians have spent decades trying to either prove that the equati...