What's up in

Researchers are one step closer to injecting probability into deterministic machines.

Computer scientists established a new boundary on computationally verifiable knowledge. In doing so, they solved major open problems in quantum mechanics and pure mathematics.

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.

After millions of games, machine learning algorithms found creative solutions and unexpected new strategies that could transfer to the real world.

By ignoring their goals, evolutionary algorithms have solved longstanding challenges in artificial intelligence.

The way you learned to multiply works, but computers employ a faster algorithm.

The universe of problems that a computer can check has grown. The researchers’ secret ingredient? Quantum entanglement.

Quantum computers can’t selectively forget information. A new algorithm for multiplication shows a way around that problem.

By chopping up large numbers into smaller ones, researchers have rewritten a fundamental mathematical speed limit.

Previous