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?
Human mathematicians make errors. Proof assistants are here to help and while they're at it they turn maths into a highly collaborative experience.
Should we allow mathematical proofs to contain errors? We find out from Avi Wigderson in our podcast series covering the European Congress of Mathematics 2024.
Find out how a story starting with the simple notion of counting ends in a revolutionary new way of doing maths that uses computers to harness the power of human collaboration!
How to sum an infinite series using chocolate.
Why do mathematicians always want proof and what do they mean by it?
