@mathnews Wow, I hadn't been following the saga over this claimed abc conjecture proof. I work with proof verifiers because I think they have the potential to help turn these situations into productive mathematical collaborations (while realizing there is much to accomplish to make that a reality, especially in terms of having large enough libraries of already formalized math).