Kevin Hartnett

A group of MIT undergraduates is searching for tetrahedra that tile space, the latest effort in a millennia-long inquiry. They’ve already made a new discovery.

Four mathematicians have cataloged all the tetrahedra with rational angles, resolving a question about basic geometric shapes using techniques from number theory.

Lauren Williams has charted an adventurous mathematical career out of the pieces of a fundamental object called the positive Grassmannian.

At 21, Ashwin Sah has produced a body of work that senior mathematicians say is nearly unprecedented for a college student.

For almost a century, the anonymous members of Nicolas Bourbaki have written books intended as pure expressions of mathematical thought.

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.