What's up in
By Exploring Virtual Worlds, AI Learns in New Ways
Intelligent beings learn by interacting with the world. Artificial intelligence researchers have adopted a similar strategy to teach their virtual agents new tricks.
The Computer Scientist Who Parlays Failures Into Breakthroughs
Daniel Spielman solves important problems by thinking hard — about other questions.
Researchers Achieve ‘Absurdly Fast’ Algorithm for Network Flow
Computer scientists can now solve a decades-old problem in practically the time it takes to write it down.
How Computer Scientists Learned to Reinvent the Proof
Why verify every line of a proof, when just a few checks will do?
How to Write Software With Mathematical Perfection
Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.
Computer Scientists Prove That Certain Problems Are Truly Hard
Finding out whether a question is too difficult to ever solve efficiently depends on figuring out just how hard it is. Researchers have now shown how to do that for a major class of problems.