What's up in


Illustration: boxing gloves
Abstractions blog

Graph Isomorphism Vanquished — Again

Just five days after posting a retraction, László Babai announced that he had fixed the error in his landmark graph isomorphism algorithm.

Illustration: boxing glove & graph
Abstractions blog

Complexity Theory Problem Strikes Back

The legendary graph isomorphism problem may be harder than a 2015 result seemed to suggest.


The Oracle of Arithmetic

At 28, Peter Scholze is uncovering deep connections between number theory and geometry.


Simple Set Game Proof Stuns Mathematicians

A new series of papers has settled a long-standing question related to the popular game in which players seek patterned sets of three cards.

Computer Science

Landmark Algorithm Breaks 30-Year Impasse

Computer scientists are abuzz over a fast new algorithm for solving one of the central problems in the field.