What's up in

# Computer Science

## Latest Articles

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

### Quantum Computing Without Qubits

A quantum computing pioneer explains why the near future of quantum computation may lie in simulators, not general-purpose quantum machines.

### Machine Intelligence Cracks Genetic Controls

Scientists have begun to decipher the most difficult-to-read parts of the genome — the parts that don’t code for proteins. The new work reveals how errors in these genetic instructions can lead to disease.

### A Common Logic to Seeing Cats and Cosmos

New research suggests physicists, computers and brains employ the same procedure to tease out important features from among other irrelevant bits of data.

### A Grand Vision for the Impossible

Subhash Khot’s bold conjecture is helping mathematicians explore the precise limits of computation.

### Perfecting the Art of Sensible Nonsense

In a watershed moment for cryptography, computer scientists have proposed a solution to a fundamental problem called “program obfuscation.”