The world's largest mathematical proof — at a massive 200 terabytes — has been produced and a longstanding math mystery has been solved by University of Kentucky Professor Victor Marek and collaborators.
How big is 200 terabytes? The journal Nature reported that the proof is "roughly equivalent to all the digitized text held by the US Library of Congress."
“It is, indeed quite big," said Marek, a professor in the UK Department of Computer Science.
The team, including Marek, Marijn J. H. Heule of The University of Texas at Austin, and Oliver Kullmann of Swansea University in Wales, was working to solve the boolean Pythagorean Triples problem. (Remember the Pythagorean theorem? a2 + b2 = c2.)
The problem asks if it is possible to color each positive integer either blue or red so that no Pythagorean triple a, b and c are all of the same color.