Mathematics

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

Using high school algebra and geometry, and knowing just one rational point on a circle or elliptic curve, we can locate infinitely many others.

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.

For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise.

A group of mathematicians has shown that at critical moments, a symmetry called rotational invariance is a universal property across many physical systems.

In this month’s puzzle, math is a question of life or death.

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.