Communications of the ACM
ACM News
Two-Hundred-Terabyte Maths Proof Is Largest Ever
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