Three computer scientists have produced, through the use of a supercomputer, a 200-terabyte file containing the solution to a Boolean Pythagorean triples problem, a puzzle that has eluded mathematicians for decades.

See the source article by following the link below:
Three computer scientists have produced, through the use of a supercomputer, a 200-terabyte file containing the solution to a Boolean Pythagorean triples problem, a puzzle that has eluded mathematicians for decades.