CMI, Navier-Stokes probleminin ... tarihine kadar çözüldüğünü ilan edecek mi?