+14 14 0
Published 8 years ago by AdelleChattre with 0 Comments
by AdelleChattre
8 years ago

Two-hundred-terabyte maths proof is largest ever

A computer cracks the Boolean Pythagorean triples problem — but is it really maths? By Michael Greshko. (May 26, ’16)

Continue Reading http://www.nature.com

Join the Discussion

  • Auto Tier
  • All
  • 1
  • 2
  • 3
Post Comment

Here are some other snaps you may like...

discover your
interests.

Check out our front page for a lot more stuff!

This Paper Could Be the Key to Solving a 160-Year-Old, Million-Dollar Maths Problem

Scientists Store an Operating System, a Movie and a Computer Virus on DNA

Majority of mathematicians hail from just 24 scientific ‘families’

How to Cut Cake Fairly and Finally Eat It Too

“Let us Calculate!”: Leibniz, Llull, and the Computational Imagination