Will an ai solve navier stokes and make it public before 20 october 2025?