logo
episode-header-image
Nov 2024
39m 21s

AI and the Future of Math, with DeepMind...

Conviction
About this episode
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 standard in solving International Mathematical Olympiad problems. They dive deep i ... Show More
Up next
Sep 3
Redefining Chip Architecture with Arm CEO Rene Haas
From data center orchestrators to AGI and robotics, CPUs remain the heart of modern computing. Arm CEO Rene Haas joins Elad Gil and Sarah Guo to explore how Arm is positioned at the epicenter of AI-driven demands for compute. Rene explains Arm’s position in the chip supply chain, ... Show More
37m 6s
Aug 27
Rethinking Legacy Data Infrastructure with Eon Co-Founders Ofir Ehrlich and Gonen Stein
Google’s purchase of Spirit Airlines’ data out of bankruptcy signaled a shift in how the tech world values real-world datasets. Although compute and models get much of the attention, in this landscape, it’s data that is a company’s protective moat. Eon CEO / Co-Founder Ofir Ehrli ... Show More
34m 50s
Aug 20
From Restoring Sight to Reimagining the Brain, with Max Hodak
Max Hodak, co-founder and CEO of Science Corporation, joins Sarah Guo to discuss the future of vision, brain-computer interfaces, and the human experience. Max explains how Science’s PRIMA retinal implant could restore functional vision for people who have lost their sight, and w ... Show More
31m 38s
Recommended Episodes
Jan 2024
This AI just figured out geometry — is this a step towards artificial reasoning?
In this episode:0:55 The AI that deduces solutions to complex maths problemsResearchers at Google Deepmind have developed an AI that can solve International Mathematical Olympiad-level geometry problems, something previous AIs have struggled with. They provided the system with a ... Show More
32m 24s
Jul 2025
OpenAI’s IMO Team on Why Models Are Finally Solving Elite-Level Math
In just two months, a scrappy three-person team at OpenAI sprinted to fulfill what the entire AI field has been chasing for years—gold-level performance on the International Mathematical Olympiad problems. Alex Wei, Sheryl Hsu and Noam Brown discuss their unique approach using ge ... Show More
30m 10s
Aug 2019
DeepMind: The Podcast - trailer
Selected as “New and Noteworthy” by Apple Podcasts, the highly-praised, award-nominated first season of "DeepMind: The Podcast" explores the fascinating world of artificial intelligence (AI). Join mathematician and broadcaster Hannah Fry as she meets world-class scientists and th ... Show More
3m 9s
Jul 2024
DeepMind AI Wins Silver Medal, OpenAI's SearchGPT, Olympics Crackdown on Motor-Doping, and Anti-Deepfake Porn Bill
We're experimenting and would love to hear from you!In this episode of Discover Daily by Perplexity, we explore groundbreaking AI achievements in mathematics, a new AI search engine, and efforts to combat technological cheating in sports. Google DeepMind's AI systems, AlphaProof ... Show More
7m 8s
Jun 2023
AI for Mathematics Education
The application of LLMs cuts across various industries. Today, we are joined by Steven Van Vaerenbergh, who discussed the application of AI in mathematics education. He discussed how AI tools have changed the landscape of solving mathematical problems. He also shared LLMs' curren ... Show More
35m 36s
Apr 2025
Is Human Data Enough? With David Silver
In this episode of Google DeepMind: The Podcast, VP of Reinforcement Learning, David Silver, describes his vision for the future of AI, exploring the concept of the "era of experience" versus the current "era of human data". Using AlphaGo and AlphaZero as examples, he highlights ... Show More
49m 38s
Jul 2024
AI is Smart At Math But Stupid With Love
Meta and Google both brag on how their respective AI models are good at math. Meanwhile, OpenAI unveils its prototype AI-enhanced search engine. Plus, we learn about why video game voice actors are going on strike and more! See omnystudio.com/listener for privacy information. 
32m 14s
Sep 2022
Can we use maths to beat the robots?
Daily advances in the technology of artificial intelligence may leave humans playing catch-up – but in at least one area we can still retain an edge, mathematics. However it’ll require changes in how we think about and teach maths and we may still have to leave the simple adding ... Show More
8m 58s