What's up in

computer science

Quantized Columns

The Physical Origin of Universal Computing

October 27, 2015

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

Mathematics

Theorists Draw Closer to Perfect Coloring

October 20, 2015

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

Computer Science

A New Map Traces the Limits of Computation

September 29, 2015

A major advance in computational complexity reveals deep connections between the classes of problems that computers can — and can’t — possibly do.

cryptography

A Tricky Path to Quantum-Safe Encryption

September 8, 2015

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

Computer Science

A New Design for Cryptography’s Black Box

September 2, 2015

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.

Quantized Columns

The Rise of Computer-Aided Explanation

July 23, 2015

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

complex systems

The New Laws of Explosive Networks

July 14, 2015

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

Q&A

Decoding the Remarkable Algorithms of Ants

June 25, 2015

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

foundations of mathematics

Will Computers Redefine the Roots of Math?

May 19, 2015

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.