05.27.2016 Two-hundred-terabyte maths proof is largest ever A computer has cracked the Boolean Pythagorean triples problem — but is it really maths? http://bit.ly/1sAVMB8 Read more