200TB proof cracks puzzler

Three computer scientists from the University of Texas have broken the record for the largest ever mathematical proof.

The Boolean Pythagorean triples problem - first proposed in the 1980s - was cracked by supercomputers and required 200TB of information to solve. This is estimated to be more than 16 million times more data than the human brain retains in a lifetime. ®