/

Computer cracks 200-terabyte maths proof

The Boolean Pythagorean triples problem took 800 processors at the University of Texas Stampede supercomputer two days to solve. Viviane Richter reports.