What's up in

computer science

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.


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.

Computer Science

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.

2014 Fields Medal and Nevanlinna Prize Winners

A Grand Vision for the Impossible

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


The Game Theory of Life

An insight borrowed from computer science suggests that evolution values both fitness and diversity.

Computer Science

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

Photograph of Saturn and its moons.

A New Tool to Help Mathematicians Pack

Improvements in how densely spheres and other shapes can be packed together could lead to advances in materials science, deep space communication and theoretical physics.

Data Driven: The New Big Science

The Future Fabric of Data Analysis

The nature of computing has changed dramatically over the last decade, and more innovation is needed to weather the gathering data storm.