They did do this, but it seems that Navier-Stokes is the only one that was successful (unless, for some strange reason, they have proofs for the other problems but haven’t released them yet).
How convenient that they could solve the only problem where researchers have done most of the legwork already. What a coincidence. And the timing, perfect.