What's up in
Computer Science
Latest Articles
Hacker-Proof Code Confirmed
Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.
Mapping the Brain to Build Better Machines
A project to decipher the brain’s learning rules could revolutionize machine learning.
Is AlphaGo Really Such a Big Deal?
The Go-playing program teaches itself to replicate something very much like human intuition, an advance that promises far-reaching consequences.
Searching for the Algorithms Underlying Life
The biological world is computational at its core, argues computer scientist Leslie Valiant.
Landmark Algorithm Breaks 30-Year Impasse
Computer scientists are abuzz over a fast new algorithm for solving one of the central problems in the field.
‘Outsiders’ Crack 50-Year-Old Math Problem
Three computer scientists have solved a problem central to a dozen far-flung mathematical fields.
The Physical Origin of Universal Computing
The physical nature of computers might reveal deep truths about their uniquely powerful abstract abilities.
Theorists Draw Closer to Perfect Coloring
A theorem for coloring a large class of “perfect” mathematical networks could ease the way for a long-sought general coloring proof.
A New Map Traces the Limits of Computation
A major advance in computational complexity reveals deep connections between the classes of problems that computers can — and can’t — possibly do.