Wikipedia-Size Maths Proof Too Big for Humans to Check
Wikipedia-Size Maths Proof Too Big for Humans to Check - scientific work related to Wikipedia quality published in 2014, written by Jacob Aron.
Overview
A computer-assisted proof is so big it may never be checked by a human being – raising questions about the nature of modern mathematics