A computer cracks the Boolean Pythagorean triples problem — but is it really maths?
Three computer scientists have announced the largest-ever mathematics proof: a file that comes in at a whopping 200 terabytes, roughly equivalent to all the digitized text held by the US Library of Congress. The researchers have created a 68-gigabyte compressed version of their solution — which would allow anyone with about 30,000 hours of spare processor time to download, reconstruct and verify it — but a human could never hope to read through it.
Click here for more information.
Monday, June 06, 2016
Subscribe to:
Posts (Atom)
