Kevin Hartnett

David Conlon and Asaf Ferber have raised the lower bound for multicolor “Ramsey numbers,” which quantify how big graphs can get before patterns inevitably emerge.

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.