## We solve a mathematical problem but we need 10,000 million years to read it

The Boolean problem of Pythagorean triples, stated 35 years ago, has been solved by a Stampede supercomputer from the University of Texas. However, the solution is so extensive that it requires 200 terabytes, equivalent to all the digitized texts in the possession of the Library of Congress, thus becoming the largest mathematical proof ever produced … Read more