What's up in
A New Algorithm for Graph Crossings, Hiding in Plain Sight
Two computer scientists found — in the unlikeliest of places — just the idea they needed to make a big leap in graph theory.
Landmark Computer Science Proof Cascades Through Physics and Math
Computer scientists established a new boundary on computationally verifiable knowledge. In doing so, they solved major open problems in quantum mechanics and pure mathematics.
New Proof Settles How to Approximate Numbers Like Pi
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.
A 53-Year-Old Network Coloring Conjecture Is Disproved
In just three pages, a Russian mathematician has presented a better way to color certain types of networks than many experts thought possible.
Computer Scientists Expand the Frontier of Verifiable Knowledge
The universe of problems that a computer can check has grown. The researchers’ secret ingredient? Quantum entanglement.