Will Computers prove theorems?

Computer Science by Oxford University

May 15, 202546:25Education

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 la...

Related Episodes

Continue listening to more episodes from Computer Science.

Advances in Garbled Circuits

Oct 27, 2025 - 48:12

MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, And...

Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

May 15, 2025 - 47:14

Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathemati...

Privacy, Verification, Robustness: A Cryptographer's perspective on ML

Mar 11, 2025 - 64:18

Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML Cryptographic to...

From probabilistic bisimulation to representation learning via metrics

Dec 2, 2024 - 55:03

Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prak...

Strachey Lecture: The Computer in the Sky

May 16, 2024 - 62:09

The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protoc...

Strachey Lecture: From classical to non-classical stochastic shortest path problems

Feb 6, 2024 - 57:09

Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture Abstract: The classical stochast...

Strachey Lecture: How Can Algorithms Help to Protect our Privacy

Nov 13, 2023 - 54:48

In this term's Strachey lecture, Professor Monika Henzinger gives an introduction to differential privacy...

Strachey Lecture: Use or Be Used - Regaining Control of AI

Sep 4, 2023 - 50:26

It’s said that Henry Ford’s customers wanted “a faster horse”. If Henry Ford was selling us artificial in...