What's up in
To tame urban traffic, the computer scientist Carlos Gershenson finds that letting transportation systems adapt and self-organize often works better than trying to predict and control them.
Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition.
Two computer scientists found — in the unlikeliest of places — just the idea they needed to make a big leap in graph theory.
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.
A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot.
Neural networks have been taught to quickly read the surfaces of proteins — molecules critical to many biological processes.
Get highlights of the most important news delivered to your email inbox