PeopleofSuperintelligence

Researcher

Edward Lockhart

Edward Lockhart is an AI researcher at Google DeepMind whose work spans speech synthesis, game-playing agents and formal mathematics. He coauthored Parallel WaveNet for faster speech synthesis, MuZero for planning in unknown games, and DeepNash for expert-level Stratego play. In 2024, he contributed to AlphaProof as the combined system with AlphaGeometry 2 reached silver-medal level at the International Mathematical Olympiad. In 2025, he co-led coordination of the Gemini Deep Think effort that achieved a gold-medal score. As of October 2026, he works at Google DeepMind in Cambridge and presents research on formal verification for AI.

Timeline

  1. 2017–2018

    Faster neural speech synthesis

    In 2017, Lockhart coauthors Parallel WaveNet, which generates high-fidelity speech more than 20 times faster than real time. At ICML in 2018, he presents Efficient Neural Audio Synthesis with the DeepMind team; its compact recurrent networks cut sampling latency while preserving audio fidelity.

  2. 2019–2020

    Learning to plan without rules

    In 2020, Lockhart coauthors DeepMind's MuZero report after the system's preliminary paper in 2019. MuZero learns a model of rewards, action choices and position value, then plans in Go, chess, shogi and Atari without being given their rules.

  3. 2022

    DeepNash learns Stratego

    The 2022 DeepNash paper includes Lockhart among its authors and combines game theory with model-free deep reinforcement learning. Through self-play, the agent learns Stratego and reaches human expert level.

  4. 2024

    AlphaProof at the IMO

    In 2024, Lockhart contributes to AlphaProof's development. Paired with AlphaGeometry 2, the system solves four of six IMO problems and reaches the silver-medal standard.

  5. July 2025

    Co-leading Gemini's IMO effort

    In July 2025, Lockhart co-leads overall coordination of Google DeepMind's IMO effort with Thang Luong. Gemini Deep Think solves five of six problems and earns a gold-medal score.

  6. As of October 2026

    Research at Google DeepMind

    As of October 2026, Lockhart works at Google DeepMind in Cambridge. In June 2026, he presents a talk on formal verification and proof assistants as tools for AI mathematical reasoning.

  1. Google had the most people shaping AI every year from 2014 to 2025Our estimates of which organizations employed the most people shaping AI from 1961 to 2025, with a year-by-year chart.
  2. The United States employs an estimated 53% of people in our data with a known employment countryOur estimates of where AI careers are concentrated now and how countries’ shares of dated positions changed over time.
  3. 46% of living people in our data with known birth and employment countries work outside their birth countryOur estimate of cross-border careers in AI, from country of birth and the country of each current organization.
  4. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionOur estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.

Sources and credits

Photo: We have no published photo of Edward Lockhart yet. Send us a free-licensed photo.

  1. Edward Lockhart research.google. Checked 19 October 2026.
  2. DeepMind papers at ICML 2018 deepmind.google. Checked 19 October 2026.
  3. MuZero: Mastering Go, chess, shogi and Atari without rules deepmind.google. Checked 19 October 2026.
  4. Mastering Stratego, the classic game of imperfect information deepmind.google. Checked 19 October 2026.
  5. AI achieves silver-medal standard solving International Mathematical Olympiad problems deepmind.google. Checked 19 October 2026.
  6. Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad deepmind.google. Checked 19 October 2026.
  7. Edward Lockhart carmin.tv. Checked 19 October 2026.
  8. Why AI Needs Formal Mathematics carmin.tv. Checked 19 October 2026.