The company announced that an internal model had produced a proof addressing the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems established by the Clay ...
AI just solved one of the world’s hardest math problems.