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!