What's up in

algorithms

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

Hacker-Proof Code Confirmed

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.
quantum computing

Computing’s Search for Quantum Questions

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.

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

Searching for the Algorithms Underlying Life

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.
Computer Science

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.

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

The Physical Origin of Universal Computing

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.
Mathematics

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 major advance in computational complexity reveals deep connections between the classes of problems that computers can — and can’t — possibly do.
Computer Science

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.

New research suggests physicists, computers and brains employ the same procedure to tease out important features from among other irrelevant bits of data.
Computer Science

A Common Logic to Seeing Cats and Cosmos

New research suggests physicists, computers and brains employ the same procedure to tease out important features from among other irrelevant bits of data.

Subhash Khot’s bold conjecture is helping mathematicians explore the precise limits of computation.
2014 Fields Medal and Nevanlinna Prize Winners

A Grand Vision for the Impossible

Subhash Khot’s bold conjecture is helping mathematicians explore the precise limits of computation.