Wikipedia-size maths proof too big for humans to check

newscientist.com