What's up in
algorithms
Abstractions blog
How and Why Computers Roll Loaded Dice
Researchers are one step closer to injecting probability into deterministic machines.
computational complexity
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.
Q&A
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.
artificial intelligence
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.
artificial intelligence
Computers Evolve a New Path Toward Human Intelligence
By ignoring their goals, evolutionary algorithms have solved longstanding challenges in artificial intelligence.
Quantized Academy
On Your Mark, Get Set, Multiply
The way you learned to multiply works, but computers employ a faster algorithm.
quantum information theory
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.
Abstractions blog
A New Approach to Multiplication Opens the Door to Better Quantum Computers
Quantum computers can’t selectively forget information. A new algorithm for multiplication shows a way around that problem.
number theory
Mathematicians Discover the Perfect Way to Multiply
By chopping up large numbers into smaller ones, researchers have rewritten a fundamental mathematical speed limit.