Neat News 151 (added 2016-05-30)

Largest Proof ever Generated

elements.jpg
Public Domain by Euclid

The boolean Pythagorean Triples problem is to answer the question whether it is possible to colour the natural numbers by two colours so that never all three numbers in a triple (a,b,c) with a2 + b2 = c2 have the same colour. The problem has now been solved with the help of computers in a proof that originally was two hundred terabytes big, the largest proof ever generated. The Nature article states that its size corresponds roughly to all the digitized text held by the US Library of Congress.

News seen at: Nature

Further Info

Contact: info(@)neat-news(dot)com. neat-news.com is not responsible for the content of external sites.
We do not link to external sites in return for money or any other benefits.
Note that photos are usually stock photos, mostly taken from Wikipedia, which we can use royalty-free either since they are in the public domain or available under an open licence such as a share alike licence. The page is maintained in Germany and for any legal matters the laws of Germany apply. Any warranty or liability is excluded in the widest legally possible sense.

© neat-news.com 2016-2025.

mastodon Instagram