Maths problem proof takes 10 billion years to read

Three Anglo-American researchers have submitted a proof of the 35-year old “Boolean Pythagorean Triples” problem that would reportedly take 10 billion years to read. The proof is equivalent to around 200 TB of data. The problem asks, ‘Is it possible to colour all the integers either red or blue so that no Pythagorean triples are all the same colour?’