Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

The original version of this story appeared in Quanta Magazine. In 1994, an earthquake of a proof shook up the mathematical world. The mathematician Andrew Wiles had finally settled Fermat’s Last ...

Scientists have found what they say is a link between complex number theory and string theory. A mathematician and physicist working together found the connection, which they say is part of plotting ...

A new proof demonstrates the power of arithmetic dynamics, an emerging discipline that combines insights from number theory and dynamical systems. Joseph Silverman remembers when he began connecting ...

Using “refreshingly old” tools, mathematicians resolved a 50-year-old conjecture about how to categorize important functions called modular forms, with consequences for number theory and theoretical ...