What's up in

A small community of mathematicians is using a software program called Lean to build a new digital repository. They hope it represents the future of their field.

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.

By translating Keller’s conjecture into a computer-friendly search for a type of graph, researchers have finally resolved a problem about covering spaces with tiles.

Can we test speculations about how quantum physics affects black holes and the Big Bang?

Researchers are one step closer to injecting probability into deterministic machines.

Neural networks have been taught to quickly read the surfaces of proteins — molecules critical to many biological processes.