Comment by bearseascape

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).