logo
episode-header-image
May 2025
46m 25s

Will Computers prove theorems?

OXFORD UNIVERSITY
About this episode
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
Up next
Oct 27
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
May 2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete confidence in each other’s contributions? The open-source Lean proof assistant and programming language ... Show More
47m 14s
Mar 2025
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML Cryptographic tools enable the safe use of technology platforms controlled by worst case computationally bounded adversaries.In this talk I will show how cryptographic paradigms and tools can ... Show More
1h 4m
Recommended Episodes
May 2025
Séminaire - Immanuel Bloch : Quantum Simulation and Quantum Computing with Fermions
Antoine GeorgesPhysique de la matière condenséeAnnée 2024-2025Fermions froids et simulation quantiqueSéminaire - Immanuel Bloch : Quantum Simulation and Quantum Computing with FermionsImmanuel BlochMax Planck Institute et LMU, MunichRésuméQuantum simulation has emerged as an inte ... Show More
1 h
Oct 2024
La suprématie quantique
<p>La suprématie quantique est un concept qui désigne le moment où un ordinateur quantique effectue un calcul qu’un ordinateur classique ne peut pas réaliser en un temps raisonnable. Ce terme a été popularisé par John Preskill, un physicien théoricien, en 2012. Il symbolise une é ... Show More
2m 42s
Aug 7
PQC & Math Culture with Krystal A. Maughan [UVM], [RQS - QSim]
Before you listen! Helpful Acronyms to deal with the jargon: - PQC = Post Quantum Cryptography, area within quantum computing & cryptography where researchers are developing quantum-safe protocols resilient against quantum cryptography attacks. - LDPC Codes = Low Density Parity C ... Show More
47m 44s
Jul 2021
LM101-086: Ch8: How to Learn the Probability of Infinitely Many Outcomes
This 86th episode of Learning Machines 101 discusses the problem of assigning probabilities to a possibly infinite set of outcomes in a space-time continuum which characterizes our physical world. Such a set is called an "environmental event". The machine learning algorithm uses ... Show More
35m 29s
May 2025
Quantum noise with Daniel Lidar
In this episode of The New Quantum Era, your host Sebastian Hassinger talks with Dr. Daniel Lidar. Dr. Lidar is a pioneering researcher in quantum computing with over 25 years of experience, currently a professor at the University of Southern California. His work spans quantum al ... Show More
42m 37s
Aug 2024
AI in Action: From Machine Learning Interpretability to Cybersecurity with Serg Masís and Nirmal Budhathoki
In this DSS Podcast, Anna Anisin welcomes Serg Masís, Climate and Agronomic Data Scientist at Syngenta. Serg, an expert in machine learning interpretability and responsible AI, shares his diverse background and journey into data science. He discusses the challenges of building fa ... Show More
25m 37s
Nov 2024
AI and the Future of Math, with DeepMind’s AlphaProof Team
In this week’s episode of No Priors, Sarah and Elad sit down with the Google DeepMind team behind AlphaProof, Laurent Sartran, Rishi Mehta, and Thomas Hubert. AlphaProof is a new reinforcement learning-based system for formal math reasoning that recently reached a silver-medal st ... Show More
39m 21s
Feb 2017
MLG 002 Difference Between Artificial Intelligence, Machine Learning, Data Science
<div> <div> <p>Artificial intelligence is the automation of tasks that require human intelligence, encompassing fields like natural language processing, perception, planning, and robotics, with machine learning emerging as the primary method to recognize patterns in data and make ... Show More
1h 5m
Oct 13
Evals, error analysis, and better prompts: A systematic approach to improving your AI products | Hamel Husain (ML engineer)
Hamel Husain, an AI consultant and educator, shares his systematic approach to improving AI product quality through error analysis, evaluation frameworks, and prompt engineering. In this episode, he demonstrates how product teams can move beyond “vibe checking” their AI systems t ... Show More
54m 48s
May 2025
MLG 036 Autoencoders
Auto encoders are neural networks that compress data into a smaller "code," enabling dimensionality reduction, data cleaning, and lossy compression by reconstructing original inputs from this code. Advanced auto encoder types, such as denoising, sparse, and variational auto encod ... Show More
1h 5m