Latest in Science

Image credit:

Largest-ever math proof chews up 200TB of data

You won't be verifying this problem on your home PC.
Jon Fingas, @jonfingas
May 29, 2016
Share
Tweet
Share

Sponsored Links

University of Texas

You've probably been asked to prove a math solution at some point, but never like this. Researchers have created the world's largest math proof while solving the Boolean Pythagorean triples problem, consuming a whopping 200TB of data -- the previous record was 'just' 13GB. The sheer size came from having to consider the sheer range (nearly 1 trillion) of possibilities involved in coloring integers. You could technically use a 68GB compressed version at home, but it'd take about 30,000 hours of processing time to crunch the data.

It's impressive stuff, although Nature is quick to note that this isn't quite a Holy Grail. A giant proof might solve the problem, but it doesn't provide a consistent explanation for why the results come out the way they do, something that you can apply to other cases. In one sense, it's like cheating on an exam. While you may know the answers, you aren't really learning how to solve things on your own.

All products recommended by Engadget are selected by our editorial team, independent of our parent company. Some of our stories include affiliate links. If you buy something through one of these links, we may earn an affiliate commission.
Comment
Comments
Share
Tweet
Share

Popular on Engadget

The 2020 Engadget Holiday Gift Guide

The 2020 Engadget Holiday Gift Guide

View
SpaceX prepares Starship SN8 prototype for high-altitude test flight

SpaceX prepares Starship SN8 prototype for high-altitude test flight

View
Curiosity rover finds evidence of ancient megafloods on Mars

Curiosity rover finds evidence of ancient megafloods on Mars

View
The Morning After: 'Flight Simulator' update adds high-res US landmarks

The Morning After: 'Flight Simulator' update adds high-res US landmarks

View
'Mortal Kombat 11' DLC brings back three actors from the 1995 movie

'Mortal Kombat 11' DLC brings back three actors from the 1995 movie

View

From around the web

Page 1Page 1ear iconeye iconFill 23text filevr