Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics

renaissancephilanthropy.org