What's up in

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.

Recent tests show that quantum computers made by D-Wave systems should solve some problems faster than ordinary computers. Researchers have begun to map out exactly which queries might benefit from these quantum machines.

A project to decipher the brain’s learning rules could revolutionize machine learning.

The Go-playing program teaches itself to replicate something very much like human intuition, an advance that promises far-reaching consequences.

The biological world is computational at its core, argues computer scientist Leslie Valiant.

Computer scientists are abuzz over a fast new algorithm for solving one of the central problems in the field.

Three computer scientists have solved a problem central to a dozen far-flung mathematical fields.

The physical nature of computers might reveal deep truths about their uniquely powerful abstract abilities.

A theorem for coloring a large class of “perfect” mathematical networks could ease the way for a long-sought general coloring proof.