# The World's Largest Math Proof Is a Whopping 200 Terabytes in Size

The largest-ever math problem called the Boolean Pythagorean triples problem has been solved by a supercomputer and three computer scientists.
The University of Texas’s Stampede supercomputerUniversity of Texas

One of the most elusive maths problems has been solved by three computer scientists and a supercomputer. The proof to Boolean Pythagorean triples problem comes in a 200-terabyte file, making it the world's largest math proof. The size of the file is pretty staggering, 1TB is hard enough to wrap your head around if you are a normal data user let alone 200 of them. The solution has been compressed down into a 68-gigabyte file so that it can be more easily shared among the math community. But those wanting to download the file and have a look and see if they can verify the work will need some pretty serious computing power behind them.

## The Boolean Pythagorean triples problem

The 200 terabyte file is now officially the largest-ever computer-assisted proof with the previous record holder being a measly 13 gigabytes. Using supercomputers to assist in creating proofs for combinatorics is pretty common. The 200-terabyte proof solved a combinatorics type of mathematical problem called the Boolean Pythagorean triples. The problem asks whether “each positive integers can be colored either red or blue, so that a combination of three integers a, b, and c, (Pythagorean Triple) can satisfy the Pythagorean equation, a 2 + b 2 =c 2, wherein none of the integers have the same color.” This is an almost impossible task for a single human but when assisted by supercomputers the problem becomes slightly easier.