 Boolean Pythagorean triples problem

The Boolean Pythagorean triples problem is a problem relating to Pythagorean triples which was solved using a computer-assisted proof in May 2016.This problem is from Ramsey theory and asks if it is possible to color each of the positive integers either red or blue, so that no Pythagorean triple of integers "a", "b", "c", satisfying formula_1 are all the same color.