How can computers best help mathematicians? Not through AI, says Kevin Buzzard, but through proof assistants. This podcast explains what they are and why they turn maths into a collaborative game of many players.
Proof assistants might be important in the future. What if we could get AI to use them for example?
Find out how a theory from physics has provided tools for solving long-standing problems in number theory. And in turn how number theory helps solve the mystery of black holes.
"The 20th century was the interaction of geometry and physics, and the 21st century is the interaction of number theory with physics." Find out why in our conversation with Yang-Hui He from the London Institute of Mathematical Sciences!
In this special podcast we look back on this remarkable mathematical moment with Andrew Wiles, Jack Thorne and Tom Körner, and how it opened new doors onto the future of mathematics.
To celebrate the anniversary of its proof, this collection of articles, podcasts and videos explores one of the most beguiling theorems in maths.
Barry Mazur has received the 2022 Chern Medal for profound discoveries in topology, arithmetic geometry and number theory.
We were very excited to meet Andrew Wiles this summer! In this interview and videos he tells us what it was like to prove Fermat's Last Theorem, and what it feels like to do maths.
