Two-hundred-terabyte maths proof is largest ever
Abstract
A computer cracks the Boolean Pythagorean triples problem — but is it really maths?
- Publication:
-
Nature
- Pub Date:
- June 2016
- DOI:
- 10.1038/nature.2016.19990
- Bibcode:
- 2016Natur.534...17L