We don't lose progress by AI solving Navier Stokes. Get a grip on yourselves. I don't think there is a "progress" argument here without tying mathematics to "usefulness", and AI makes mathematics dramatically more useful.