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 mathematical ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback