What's up in

# computer science

## Latest Articles

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

### A Tricky Path to Quantum-Safe Encryption

In the drive to safeguard data from future quantum computers, cryptographers have stumbled upon a thin red line between security and efficiency.

### A New Design for Cryptography’s Black Box

A recent cryptographic breakthrough has proven difficult to put into practice. But new advances show how near-perfect computer security might be surprisingly close at hand.

### The Rise of Computer-Aided Explanation

Computers can translate French and prove mathematical theorems. But can they make deep conceptual insights into the way the world works?

### The New Laws of Explosive Networks

Researchers are uncovering the hidden laws that reveal how the Internet grows, how viruses spread, and how financial bubbles burst.

### Decoding the Remarkable Algorithms of Ants

The biologist Deborah Gordon has uncovered how ant colonies search efficiently without central organization, an insight that might improve computer networks.

### Will Computers Redefine the Roots of Math?

The Fields medalist Vladimir Voevodsky has died at 51. This 2015 article describes his computer-aided quest to eliminate human error and rewrite the century-old rules underlying all of mathematics.

### Concerns of an Artificial Intelligence Pioneer

Computer scientist Stuart Russell wants to ensure that our increasingly intelligent machines remain aligned with human values.