Clayton Shonkwiler/Flickr

$100 Prize Has Been Awarded to a Maths Solution That Takes 10 Billion Years to Read

Better get started.

14 JUL 2016

An Anglo-American trio presented the prize-winning solution to a 35-year old maths problem on Friday, but verifying it may be a problem in itself: reading it would take 10 billion years.

Called the "Boolean Pythagorean Triples", the problem is not a shameful contagious disease, but a long-unsolved enigma within a field called Ramsey Theory.


In the 1980s, famous mathematician Ronald Graham fired a starter pistol when he challenged the world to find a solution to the Boolean Pythagorean triples problem.

Boolean Pythagorean triples is the long-unsolved open problem within the Ramsey theory, which asks:

"Can the set N = {1, 2, . . . } of natural numbers be divided into two parts, such that no part contains a triple (a, b, c) with a2 + b2 = c2?"

While the prize is only US$100, it does not matter: mathematicians took this challenge as a shot at historical glory.

Ronald Graham, the famous mathematician who firestarted this race, as featured in Ripley's Believe It or Not.Ronald Graham, the famous mathematician as featured in Ripley’s Believe It or Not.

Graham awarded Marijn Heule (University of Texas), Oliver Kullmann (University of Kentucky), and Victor Marek (University of Kentucky), the historical $100 this month. They presented their paper at the 19th International Conference on Theory and Applications of Satisfiability Testing held at the Computer Science Laboratory of Bordeaux (Labri).


The maths proof the team came up with utilised the cube and conquer satisfiability (SAT) test through the Stampede supercomputer at the Texas Advanced Computing Center to crack the problem, which generated the 200-terabyte proof - the largest mathematics proof in history.

The contest was announced nearly three decades ago. If you think that is already too long a time for a problem to finally get a viable solution, get this: verifying their proof will take a period of 10 billion years just to read.

Luckily, computers can read and reconstruct the proof in order to verify it. A machine as powerful as the Stampede supercomputer can accomplish this task in two days - but that’s because it used 800 processors.

To facilitate verification, the team also made a 68-gigabyte compressed version of the proof that enables others to download, reconstruct, and verify their solution. And it would only take 30,000 hours of computing time, or 1,250 days.

That still seems like a long time, but compared to 10 billion years, we’ll take that.

This article was originally published by Futurism. Read the original article. 

More From ScienceAlert

The world's rarest and most ancient dog has just been re-discovered in the wild
3 hours ago
Scientists have turned spinach into beating human heart tissue

These greens are definitely good for you.

8 hours ago