What's up in
Two computer scientists found — in the unlikeliest of places — just the idea they needed to make a big leap in graph theory.
Computer scientists established a new boundary on computationally verifiable knowledge. In doing so, they solved major open problems in quantum mechanics and pure mathematics.
The ancient Greeks wondered when “irrational” numbers can be approximated by fractions. By proving the longstanding Duffin-Schaeffer conjecture, two mathematicians have provided a complete answer.
In just three pages, a Russian mathematician has presented a better way to color certain types of networks than many experts thought possible.
The universe of problems that a computer can check has grown. The researchers’ secret ingredient? Quantum entanglement.
Get highlights of the most important news delivered to your email inbox