What's up in
The Physical Origin of Universal Computing
The physical nature of computers might reveal deep truths about their uniquely powerful abstract abilities.
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.
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.