From the linked post https://johncarlosbaez.wordpress.com/2012/10/19/insanely-long-proofs/ https://johncarlosbaez.wordpress.com/2012/10/19/insanely-lon... >The

From the linked post https://johncarlosbaez.wordpress.com/2012/10/19/insanely-long-proofs/ https://johncarlosbaez.wordpress.com/2012/10/19/insanely-lon... >The method is called ‘proof by exhaustion’, because it involves reducing the problem to 10,000 special cases and then settling each one with detailed calculations… thus exhausting anybody who tries to check the proof by hand. Ha.