What's up in

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

Even in an incomplete state, quantum field theory is the most successful physical theory ever discovered. Nathan Seiberg, one of its leading architects, talks about the gaps in QFT and how mathematicians could fill them.

In three towering papers, a team of mathematicians has worked out the details of Liouville quantum field theory, a two-dimensional model of quantum gravity.

The accelerating effort to understand the mathematics of quantum field theory will have profound consequences for both math and physics.

Jordan Ellenberg enjoys studying — and writing about — the mathematics underlying everyday phenomena.

Originally devised as a rigorous means of counting holes, homology provides a scaffolding for mathematical ideas, allowing for a new way to analyze the shapes within data.

The relationships among the properties of flexible shapes have fascinated mathematicians for centuries.

Long considered solved, David Hilbert’s question about seventh-degree polynomials is leading researchers to a new web of mathematical connections.

Even as mathematicians and computer scientists proved big results in computational complexity, number theory and geometry, computers proved themselves increasingly indispensable in mathematics.

Previous