What's up in

Vinton Cerf helped create the internet 40 years ago, and he’s still working to connect people around the world — and off it.

After 44 years, there’s finally a better way to find approximate solutions to the notoriously difficult traveling salesperson problem.

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.

A powerful technique called SAT solving could work on the notorious Collatz conjecture. But it’s a long shot.

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.

Previous