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 theo ... Show More
Sep 2023
Strachey Lecture: Use or Be Used - Regaining Control of AI
It’s said that Henry Ford’s customers wanted a “a faster horse”. If Henry Ford was selling us artificial intelligence today, what would the customer call for, “a smarter human”? That’s certainly the picture of machine intelligence we find in science fiction narratives, but the re ... Show More
50m 26s
Oct 2025
Advances in Garbled Circuits
MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled Circuits,” which had an enormous impact on the field of secure computation -- both in theory and in practice. In Garbled Circuits, ... Show More
48m 12s
Aug 2021
Applications of Variational Autoencoders and Bayesian Optimization with José Miguel Hernández Lobato - #510
Today we’re joined by José Miguel Hernández-Lobato, a university lecturer in machine learning at the University of Cambridge. In our conversation with Miguel, we explore his work at the intersection of Bayesian learning and deep learning. We discuss how he’s been applying this to ... Show More
42m 27s
Apr 2016
ZIZ017 The Interaction with the Other in Hegel (2009)
Slavoj Žižek discussing the process of the event in relation to Alain Baidou. Slavoj Žižek speaking about consciousness, neurobiology, awareness, David Chalmers, Daniel Dennett, the Ptolemization of string theory, Catherine Malabou, Jacques Derrida, sublation, difference of organ ... Show More
2h 7m