World’s Largest Math Proof Solved. And It Takes Up 200 Terabytes
It’s the largest math proof. A supercomputer solved it in just 2 days. And it’s 200 terabytes. Yes, 200 terabytes. That’s the size of the file containing the computer-assisted proof for a mathemati…