Those headlines could be from today. In fact, they’re more than 20 years old. In the early 2000s, computer-science ...

This is Atlantic Intelligence, a limited-run series in which our writers help you wrap your mind around artificial intelligence and a new machine age. Sign up here. Earlier this week, my colleague Ian ...

Computer scientists have long used vector addition systems to model how certain programs work, but they didn’t have a full understanding of how complicated they could be. Recent work has finally ...