Has there been any progress on verifying the proof of the abc conjecture or the solution to the Navier-Stokes equations? It’s been eerily quiet. I’m never going to come close to understanding any of those things, so I’ve been eagerly awaiting news that they’ve been either accepted or rejected.