What's up in

computer science

Illustration: boxing glove & graph
Abstractions blog

Complexity Theory Problem Strikes Back

The legendary graph isomorphism problem may be harder than a 2015 result seemed to suggest.

Q&A

How to Force Our Machines to Play Fair

The computer scientist Cynthia Dwork takes abstract concepts like privacy and fairness and adapts them into machine code for the algorithmic age.

Pencils Down: Experiments in Education

Do You Love or Hate Math and Science?

Quanta Magazine invites readers to share about their early math and science learning experiences and to explore the interactive survey results.

Pencils Down: Experiments in Education

The Art of Teaching Math and Science

The impasse in math and science instruction runs deeper than test scores or the latest educational theory. What can we learn from the best teachers on the front lines?

Abstractions blog

All Is Not Fair in Cake-Cutting and Math

When divvying something up, there’s more than one way to define what’s fair.

algorithms

How to Cut Cake Fairly and Finally Eat It Too

Computer scientists have come up with a bounded algorithm that can fairly divide a cake among any number of people.

computer security

Hacker-Proof Code Confirmed

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.

Quantum bits, or “qubits,” can be in a superposition of both zero and one.
quantum computing

Computing’s Search for Quantum Questions

Recent tests show that quantum computers made by D-Wave systems should solve some problems faster than ordinary computers. Researchers have begun to map out exactly which queries might benefit from these quantum machines.

neuroscience

Mapping the Brain to Build Better Machines

A project to decipher the brain’s learning rules could revolutionize machine learning.