What's up in

computer science

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.

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

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

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.

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

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?

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

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.

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

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.

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.
foundations of mathematics

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.

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

Concerns of an Artificial Intelligence Pioneer

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