Search

Home > Computer Science > Will Computers prove theorems?
Podcast: Computer Science
Episode:

Will Computers prove theorems?
Category: Education
Duration: 00:46:25
Publish Date: 2025-05-15 10:01:19
Description: Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot patterns which humans have missed? Currently language models are great for brainstorming big ideas but are very poor when it comes to details. Can integrating a language model with a theorem prover like Lean solve these problems? Is the modern mathematical literature riddled with errors, and is it feasible to hope that a machine might find and even fix them? Is it possible to teach a computer the proof of Fermat's Last Theorem? And what do mathematicians make of all this? I'll talk about how modern developments in AI and theorem provers are beginning to affect mathematics.
Total Play: 0

Users also like

80+ Episodes
LSE IQ podca .. 90+     10+
400+ Episodes
Computer und .. 300+     30+

Some more Podcasts by Oxford University

40+ Episodes
Latin Americ .. 200+     20+
20+ Episodes
Greek and Ro .. 80+     10+
4 Episodes
Ancient Egyp .. 60+     20+
10+ Episodes
"British" Wo .. 20+     10+
5 Episodes
Digital Sket .. 10+     1
20+ Episodes
Protecting t .. 20+     5
60+ Episodes
Surgical Gra .. 10+     2
90+ Episodes
Ethics, Law .. 10+     5