An AI system has produced a solution for the Navier-Stokes problem, one of the seven Millennium Prize Problems