acm-header
Sign In

Communications of the ACM

ACM News

Two-Hundred-Terabyte Maths Proof Is Largest Ever


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