Are you curious about maths and the world? Then explore Plus to stay connected with mathematics: from the maths of everyday life to the latest current research!
Latest content
Kevin Buzzard and Big Proof
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.
Living Proof: Moustapha Fall
In this episode of the Living Proof podcast we meet Moustapha Fall, President of the African Institute for Mathematical Sciences (AIMS) in Senegal and winner of a prestigious Ramanujan Prize for Young Mathematicians from Developing Countries.
Understanding life with topology
Can topological data analysis create a revolution in the life sciences?
Sci-art competition: The results are in!
The Anomalous Mathematical Patterns Sci-Art Contest was held as part of the Stochastic systems for anomalous diffusion research program at the Isaac Newton Institute.
Popular content
Proof assistants
Human mathematicians make errors. Proof assistants are here to help and while they're at it they turn maths into a highly collaborative experience.
Maths in a minute: The square root of 2 is irrational
Here's one of the most elegant proofs in all of maths. Rejoice in its simplicity!
Why we want proof
What are mathematical proofs, why do we need them and what can they say about sheep?
Welcome to the maths lab
The latest from Plus, delivered to your inbox
About us
Find out what we do, why we do it and who we are!
Explore our collaborations
We work with researchers from across mathematics and data science
Meet the researchers
Meet the people behind the maths in our Maths on the Move podcast