Two-hundred-terabyte maths proof is largest ever (original) (raw)

A computer cracks the Boolean Pythagorean triples problem — but is it really maths?

Access through your institution

Buy or subscribe

This is a preview of subscription content, access via your institution

Relevant articles

Open Access articles citing this article.

Access options

Access through your institution

Subscribe to this journal

Receive 51 print issues and online access

$199.00 per year

only $3.90 per issue

Learn more

Buy this article

Buy now

Prices may be subject to local taxes which are calculated during checkout

Additional access options:

References

  1. Heule, M. J. H., Kullmann, O. & Marek, V. W. Preprint at http://arxiv.org/abs/1605.00723 (2016).
  2. Konev, B. & Lisitsa, A. Preprint at http://arxiv.org/abs/1402.2184 (2014).
  3. Tao, T. Preprint at http://arxiv.org/abs/1509.05363 (2015).

Download references

Authors

  1. Evelyn Lamb
    View author publications
    Search author on:PubMed Google Scholar

Additional information

Tweet Facebook LinkedIn Weibo Wechat

Graph-theory breakthrough tantalizes mathematicians 2015-Nov-19

Maths whizz solves a master’s riddle 2015-Sep-25

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lamb, E. Two-hundred-terabyte maths proof is largest ever.Nature 534, 17–18 (2016). https://doi.org/10.1038/nature.2016.19990

Download citation

This article is cited by