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.

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

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.

Symplectic geometry is a relatively new field with implications for much of modern mathematics. Here’s what it’s all about.

Herd immunity differs from place to place, and many factors influence how it’s calculated.

While locked down due to COVID-19, Joshua Greene and Andrew Lobb figured out how to prove a version of the “rectangular peg problem.”

Representation theory was initially dismissed. Today, it’s central to much of mathematics.

Mathematicians try to figure out when problems can be solved using current knowledge — and when they have to chart a new path instead.