Two-hundred-terabyte maths proof is largest ever Posted by Sean Cusack in computing May 272016 A computer has cracked the Boolean Pythagorean triples problem — but is it really maths? http://bit.ly/1sAVMB8 Read more
