Kevin Hartnett

The Kakeya conjecture predicts how much room you need to point a line in every direction. In one number system after another — with one important exception — mathematicians have been proving it true.

For decades mathematicians have searched for a specific pair of surfaces that can’t be transformed into each other in four-dimensional space. Now they’ve found them.

Paul Nelson has solved the subconvexity problem, bringing mathematicians one step closer to understanding the Riemann hypothesis and the distribution of prime numbers.

Watanabe invented a new way of distinguishing shapes on his way to solving the last open case of the Smale conjecture, a central question in topology about symmetries of the sphere.

As topologists seek to classify shapes, the effort hinges on how to define a manifold and what it means for two of them to be equivalent.

Michael Freedman’s momentous 1981 proof of the four-dimensional Poincaré conjecture was on the verge of being lost. The editors of a new book are trying to save it.

Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics.

Laurent Fargues and Peter Scholze have found a new, more powerful way of connecting number theory and geometry as part of the sweeping Langlands program.

The Standard Model is a sweeping equation that has correctly predicted the results of virtually every experiment ever conducted, as Quanta explores in a new video.