What's up in


Illustration of researchers building and writing a digital library, which helps a humanoid robot do advanced math
foundations of mathematics

Building the Mathematical Library of the Future

October 1, 2020

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.

Quantized Academy

The Simple Math Problem We Still Can’t Solve

September 22, 2020

Despite recent progress on the notorious Collatz conjecture, we still don’t know whether a number can escape its infinite loop.

Photo of students sitting at desks competing in the International Mathematical Olympiad
Abstractions blog

At the Math Olympiad, Computers Prepare to Go for the Gold

September 21, 2020

Computer scientists are trying to build an AI system that can win a gold medal at the world’s premier math competition.

Aerial image of a complicated road network.
Abstractions blog

A New Algorithm for Graph Crossings, Hiding in Plain Sight

September 15, 2020

Two computer scientists found — in the unlikeliest of places — just the idea they needed to make a big leap in graph theory.

An abstract illustration showing broken tools, cubes, numbers and other abstract representations of impossible math
Quantized Columns

When Math Gets Impossibly Hard

September 14, 2020

Mathematicians have long grappled with the reality that some problems just don’t have solutions.

A comically long “missing persons” poster for an odd perfect number that shows all the restrictions it has to satisfy.
number theory

Mathematicians Open a New Front on an Ancient Number Problem

September 10, 2020

For millennia, mathematicians have wondered whether odd perfect numbers exist, establishing an extraordinary list of restrictions for the hypothetical objects in the process. Insight on this question could come from studying the next best things.


Conducting the Mathematical Orchestra From the Middle

September 2, 2020

Emily Riehl is rewriting the foundations of higher category theory while also working to make mathematics more inclusive.

An illustration of an ant walking in a straight line around a dodecahedron.
Abstractions blog

Mathematicians Report New Discovery About the Dodecahedron

August 31, 2020

Three mathematicians have resolved a fundamental question about straight paths on the 12-sided Platonic solid.

Illustration of a robot and a human furiously doing math next to each other
artificial intelligence

How Close Are Computers to Automating Mathematical Reasoning?

August 27, 2020

AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.