Will Computers prove theorems?

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.

You can listen to Will Computers prove theorems? online on Radio and Podcast. Open the player on this page to stream the available audio.

Will Computers prove theorems? is an episode from Computer Science by Oxford University.

This episode is 46:25 long.

This episode was published on May 15, 2025.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Computer Science when more episodes are available from the podcast feed.