What's up in
Computer Scientists Attempt to Corner the Collatz Conjecture
A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot.
Computer Search Settles 90-Year-Old Math Problem
By translating Keller’s conjecture into a computer-friendly search for a type of graph, researchers have finally resolved a problem about covering spaces with tiles.
How and Why Computers Roll Loaded Dice
Researchers are one step closer to injecting probability into deterministic machines.
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.
The Architect of Modern Algorithms
Barbara Liskov pioneered the modern approach to writing code. She warns that the challenges facing computer science today can’t be overcome with good design alone.
Playing Hide-and-Seek, Machines Invent New Tools
After millions of games, machine learning algorithms found creative solutions and unexpected new strategies that could transfer to the real world.
Computers Evolve a New Path Toward Human Intelligence
By ignoring their goals, evolutionary algorithms have solved longstanding challenges in artificial intelligence.
On Your Mark, Get Set, Multiply
The way you learned to multiply works, but computers employ a faster algorithm.
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.