CNRS News theme: Boolean Pythagorean triples problemMaking sense of science
https://news.cnrs.fr/
enWed, 20 Jul 2016 13:04:14 +0200Fri, 22 Jul 2016 11:26:23 +0200The Longest Proof in the History of Mathematics
https://news.cnrs.fr/articles/the-longest-proof-in-the-history-of-mathematics
Researchers use computers to create the world's longest proof, and solve a mathematical problem that had remained open for 35 years. https://news.cnrs.fr/articles/the-longest-proof-in-the-history-of-mathematicsFri, 22 Jul 2016 11:26:23 +0200