What's up in

computer science

Computer scientists have come up with a bounded algorithm that can fairly divide a cake among any number of people.
algorithms

How to Cut Cake Fairly and Finally Eat It Too

Computer scientists have come up with a bounded algorithm that can fairly divide a cake among any number of people.

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.

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

Mapping the Brain to Build Better 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.
Quantized Columns

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.

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.

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

‘Outsiders’ Crack 50-Year-Old Math Problem

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.
Quantized Columns

The Physical Origin of Universal Computing

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