DeepMind

Definition

Plain language

Google's AI research lab that built AlphaGo and AlphaProof.

Why it matters: Its results often set the public benchmark for what AI is currently capable of in domains like games, math, and biology.

For example, DeepMind's AlphaProof generated formal proofs that earned a silver-medal score on International Math Olympiad problems.

Heard on the show

“Last year, Google DeepMind's flagship AI discovery system squeezed out exactly one more sphere: five ninety-three.”

Mentioned in 8 episodes

1. 129
   How a Crowd of Anonymous AI Agents Broke a 40-Year Math Record
2. 076
   Same Model, Organized Differently: How an Agent Architecture Beat Frontier Systems at Research Math
3. 067
   An AI Just Solved a 1996 Erdős Problem—and the Simplest Agent Won
4. 065
   One Loop to Optimize Them All: A Universal API for LLM-Driven Discovery
5. 029
   Why Forty-Eight Percent on FrontierMath Isn't the Real Story in DeepMind's New Math Paper
6. 008
   Why Long-Horizon AI Agents Get Stuck, and a Milestone-Based Fix That Helps
7. 007
   Exploration Hacking: When Models Sabotage Their Own RL Training
8. 003
   How to Pick the Best of Sixteen Coding Agent Rollouts

Related terms