Sign In

Communications of the ACM

ACM News

Two-Hundred-Terabyte Maths Proof Is Largest Ever

View as: Print Mobile App Share:
Stampede supercomputer, Univ. of Texas

The University of Texass Stampede supercomputer, on which the 200-terabyte maths proof was solved.

Credit: University of Texas

Three computer scientists have announced the largest-ever mathematics proof: a file that comes in at a whopping 200 terabytes1, roughly equivalent to all the digitized text held by the US Library of Congress.

From Nature
View Full Article



No entries found