May 26, 2016
Two-hundred-terabyte maths proof is largest ever
news@nature.com - Fetched: May 26th, 2016, 3:00pm UTC
A computer cracks the Boolean Pythagorean triples problem — but is it really maths?
Nature News doi: 10.1038/nature.2016.19990