# Longest maths proof would take 10 billion years to read

##### July 8, 2016

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

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

It was such a brain-teaser that nearly 30 years ago fabled American mathematician Ronald Graham offered a cash prize to anyone who could solve it.

It was only \$100, but still.

The self-declared winners—Marijn Heule, Oliver Kullmann and Victor Marek, of the universities of Texas, Swansea and Kentucky, respectively—unveiled their proof at the international SAT 2016 conference in Bordeaux, France.

By their own account, they cracked the puzzle "using Cube-and-Conquer, a hybrid satisfiability testing (SAT) method for hard problems."

As one would.

But colleagues, they acknowledged, needed to see the proof in the pudding, so to speak.

"Due to the general interest in this mathematical problem, our result requires a formal proof," the numbers nutters explained in an abstract.

The resulting string of symbols is equivalent to "all the digitalised texts held by the US Library of Congress," some 200 terabytes of data, according to the newsletter of France's National Centre for Research.

That's two hundred thousand billion octets, for those more comfortable thinking in the base unit for digital information.

The problem itself is (almost) understandable.

It asks if it is possible to colour positive whole numbers (such as 1, 2 or 3) either red or blue such that no sequence of numbers that satisfy Pythagoras's famous equation—a2 + b2 = c2—are the same colour.

If a and b are red, for example, then c could be blue. But all three could not be blue or red.

The proof shows that such a colouring scheme is, in fact, possible—up to the 7,824. Beyond that, however, it doesn't hold.

Crunching the numbers took two days of computer time on the Stampede supercomputer at the Texas Advanced Computing Center.

Explore further: Computer generated math proof is largest ever at 200 terabytes

## Related Stories

#### Computer generated math proof is largest ever at 200 terabytes

May 30, 2016

(Phys.org)—A trio of researchers has solved a single math problem by using a supercomputer to grind through over a trillion color combination possibilities, and in the process has generated the largest math proof ever—the ...

#### Will computers replace humans in mathematics?

June 2, 2016

Computers can be valuable tools for helping mathematicians solve problems but they can also play their own part in the discovery and proof of mathematical theorems.

#### Remembering when Wiles proved Fermat's Last Theorem

March 22, 2016

There are certain moments in history that everyone remembers what it is they were doing when they heard about the event.

#### British mathematician Sir Andrew Wiles gets Abel math prize

March 15, 2016

British mathematician Sir Andrew J. Wiles has won the Abel Prize in math for cracking a centuries-old hypothesis.

#### Mathematician announces that he's proved the ABC conjecture

September 12, 2012

(Phys.org)—In all of history there are very few names that stand out in the field of mathematics, at least among those not in the field: Euclid, Newton, Pythagoras, etc. This is likely due to several reasons, chief among ...

#### Blog comment, collab help man attack old maths problem

September 26, 2015

Chris Cesare in Nature reported on Friday that Terence Tao successfully attacked the Erdős discrepancy problem by building on an online collaboration. Tao is a professor in the math department at UCLA. He works primarily ...

## Recommended for you

#### Study investigates pressure-induced superconducting transition in electrides

March 20, 2019

Researchers at Northeast Normal University, in China, and University of the Basque Country, in Spain, have recently carried out a study investigating the superconducting transition of electrides. The researchers observed ...

#### Researchers analyze biodiversity patterns in Antarctic Dry Valleys

March 20, 2019

Antarctica is a nearly uninhabited, ice-covered continent ravaged by cold, windy, and dry conditions. Virginia Tech researcher Jeb Barrett was part of an international collaborative team that analyzed biodiversity patterns ...

#### Researchers find Americans set their thermostat to match African environmental temperatures

March 20, 2019

A team of researchers at North Carolina State University has found that people living in the United States tend to set their thermostats to temperatures that mimic natural environmental conditions in parts of Africa. In their ...

#### Fish-inspired material changes color using nanocolumns

March 20, 2019

Inspired by the flashing colors of the neon tetra fish, researchers have developed a technique for changing the color of a material by manipulating the orientation of nanostructured columns in the material.

#### 'Terminator'-like liquid metal moves and stretches in 3-D space

March 20, 2019

In the blockbuster Terminator movie franchise, an evil robot morphs into different human forms and objects and oozes through narrow openings, thanks to its "liquid-metal" composition. Although current robots don't have these ...

#### Evidence rogue waves are getting more extreme

March 20, 2019

Research led by the University of Southampton (UK) suggests that 'rogue' waves are occurring less often, but becoming more extreme.

#### Changes in ocean 'conveyor belt' foretold abrupt climate changes by four centuries

March 20, 2019

In the Atlantic Ocean, a giant 'conveyor belt' carries warm waters from the tropics into the North Atlantic, where they cool and sink and then return southwards in the deep ocean. This circulation pattern is an important ...

##### Shootist
1.4 / 5 (9) Jul 08, 2016
The Nine Billion Names of God - I'll allow the clueless the honor to look up the reference.
##### Da Schneib
4.6 / 5 (9) Jul 08, 2016
Now, any questions why we need simulations?

This is duh.
##### drmudd
5 / 5 (6) Jul 08, 2016
My proof is better. It only takes 5 billion years to read it.
##### antigoracle
1.5 / 5 (8) Jul 08, 2016
Now, any questions why we need simulations?

This is duh.

What does this proof have to do with simulations?
You are duh.
##### ElectricBoobVerses
Jul 10, 2016
This comment has been removed by a moderator.
##### Da Schneib
3.7 / 5 (3) Jul 10, 2016
What does this proof have to do with simulations?
What exactly do you think simulations are?

Every time you open your gob, you prove how little you know about math, physics, and even basic science.