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

Samsung, Stanford make a 10,000PPI display that could lead to 'flawless' VR

Samsung, Stanford make a 10,000PPI display that could lead to 'flawless' VR

View
Microsoft's 'Mandalorian' Xbox controller will set you back $160

Microsoft's 'Mandalorian' Xbox controller will set you back $160

View
MIT tests autonomous 'Roboat' that can carry two passengers

MIT tests autonomous 'Roboat' that can carry two passengers

View
Xbox Series X and Series S walkthrough is a day-one primer

Xbox Series X and Series S walkthrough is a day-one primer

View
Facebook will not ban Oculus owners with multiple VR headsets (updated)

Facebook will not ban Oculus owners with multiple VR headsets (updated)

View

From around the web

Page 1Page 1ear iconeye iconFill 23text filevr