World’s Largest Math Proof Solved. And It Takes Up 200 Terabytes

Three computer scientists have produced, through the use of a supercomputer, a 200-terabyte file containing the solution to a Boolean Pythagorean triples problem, a puzzle that has eluded mathematicians for decades. It’s the largest math proof. A supercomputer solved it in just 2 days.

Read More