Making sense of science
You are here
Article
07.20.2016
Researchers use computers to create the world's longest proof, and solve a mathematical problem that had remained open for 35 years.