What's up in
Mark Braverman has spent his career translating thorny problems into the language of information complexity.
Artificial intelligence has bested humans at problem-solving challenges like chess and Go. Is mathematics research next? Steven Strogatz speaks with mathematician Kevin Buzzard to learn about the effort to translate math into language that computers understand.
Intelligent beings learn by interacting with the world. Artificial intelligence researchers have adopted a similar strategy to teach their virtual agents new tricks.
Daniel Spielman solves important problems by thinking hard — about other questions.
Computer scientists can now solve a decades-old problem in practically the time it takes to write it down.
Why verify every line of a proof, when just a few checks will do?
Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.
Get highlights of the most important news delivered to your email inbox