Every few years, we get someone claiming they've proven smoothness or found singularity, and it turns out they've missed something subtle. Navier-Stokes is like that one level in a video game you can't beat so you just end up throwing the controller.