Tao also writes about how to do this sort of error spotting in a proof you suspect to be wrong: https://terrytao.wordpress.com/advice-on-writing-papers/on-local

Tao also writes about how to do this sort of error spotting in a proof you suspect to be wrong: https://terrytao.wordpress.com/advice-on-writing-papers/on-local-and-global-errors-in-mathematical-papers-and-how-to-detect-them/ https://terrytao.wordpress.com/advice-on-writing-papers/on-l... In general he thinks a lot about tool kits and I think what we're seeing here is the math equivalent to being great at debugging.