Latest in Science

Image credit: University of Texas

Largest-ever math proof chews up 200TB of data

You won't be verifying this problem on your home PC.
244 Shares
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
244 Shares
Share
Tweet
Share

Popular on Engadget

The Morning After: Nike's accessible AJI

The Morning After: Nike's accessible AJI

View
HTC's Exodus 1s can run a full Bitcoin node for under $250

HTC's Exodus 1s can run a full Bitcoin node for under $250

View
Kik Messenger will keep running under a different owner

Kik Messenger will keep running under a different owner

View
Netflix's 'Cowboy Bebop' production pauses after John Cho is injured on-set

Netflix's 'Cowboy Bebop' production pauses after John Cho is injured on-set

View
Nike puts an accessibility twist on its iconic Air Jordan 1

Nike puts an accessibility twist on its iconic Air Jordan 1

View

From around the web

Page 1Page 1ear iconeye iconFill 23text filevr