/

Computer cracks 200-terabyte maths proof

The Boolean Pythagorean triples problem took 800 processors.

The Stampede supercomputer on which the proof was run. Credit: UNIVERSITY OF TEXAS