Note they found one gap (and filled it) in the previously accepted 1,000+ page proof. So that's pretty cool.