PeopleofSuperintelligence

Researcher

Rishi Mehta

Rishi Mehta is an AI researcher whose work links deep learning with formal mathematics. Before Google DeepMind, he worked on Google’s search-ranking algorithm; in 2024, he co-led AlphaProof, which combined with AlphaGeometry 2 to solve four of six IMO problems at silver-medal level. He explained AlphaProof’s Lean tactics, tested how GPT-4o, Gemini and Claude handle an unbiased-coin prompt, and built Chorus, a browser extension for comparing LLM answers. In 2025, he wrote about AI models at the IMO and coauthored a Nature paper on AlphaProof; as of October 2026, he researches agentic coding at Anthropic.

Now at
Anthropic

Timeline

  1. By 2024

    Deep learning for Google Search

    Before his 2024 AlphaProof work at Google DeepMind, he works on improving Google’s search-ranking algorithm with deep learning.

  2. 2024

    AlphaProof at the IMO

    In 2024, he co-leads AlphaProof, a reinforcement-learning system for formal mathematics, with Thomas Hubert and Laurent Sartran. With AlphaGeometry 2, the systems solve four of six IMO problems and reach silver-medal level.

  3. November 2024

    Explaining AlphaProof’s Lean tactics

    In November 2024, he explains ideas behind AlphaProof’s solutions for IMO problems 1, 2 and 6 by unpacking the Lean tactics used in their proofs.

  4. December 2024

    Testing LLM coin flips

    In December 2024, he tests GPT-4o, Gemini 1.5 Pro and Claude 3.5 Sonnet with an unbiased-coin prompt; all three favor heads in his results.

  5. January 2025

    Building the Chorus extension

    In January 2025, he writes Chorus, a Chrome extension that sends one prompt to several LLMs in their native browser interfaces. It supports Claude, ChatGPT, Gemini and DeepSeek.

  6. August 2025

    A 2025 IMO results review

    In August 2025, he writes about AI models trying the IMO and weighs their results. He judges Google DeepMind’s claim the most credible because the IMO externally vets its proofs.

  7. November 2025

    A Nature paper on proof search

    In November 2025, he coauthors a Nature paper that presents AlphaProof as a reinforcement-learning agent trained on millions of auto-formalized problems to find formal proofs.

  8. As of October 2026

    Research at Anthropic

    As of October 2026, he is a researcher at Anthropic, working on making LLMs better at agentic coding.

Videos

YouTube videos in which Rishi Mehta speaks or appears, newest first. A model chose them from YouTube search results. List updated 20 October 2026.

  1. No Priors Ep. 90 | With Google's DeepMind's AlphaProof TeamNo Priors: AI, Machine Learning, Tech, & Startups · 14 November 2024 · 39 min

Video data from YouTube API Services. By watching you agree to the YouTube Terms of Service. How we use YouTube data.

  1. Of 943 people shaping AI who worked at Google, 446 work there nowIncludes Rishi Mehta. Our estimates of where the 943 people shaping AI who worked at Google and Google DeepMind work now: 446 at Google and 452 across 278 other organizations.
  2. 22 of 133 people shaping AI with a former OpenAI role now work at AnthropicIncludes Anthropic. Our estimates of where OpenAI recruits came from and where 133 people with former OpenAI roles work now, including the companies and labs they founded.
  3. The median h-index is 48 at universities and 14 at frontier AI labsIncludes Anthropic. The median h-index is 48 at universities and 14 at frontier AI labs. We compare publishing careers, recent citations, dual appointments and job moves across 2,420 university researchers and 308 frontier-lab researchers.
  4. Companies supply the most prior-work hires at 7 of the 9 frontier AI labsIncludes Anthropic. Our estimates of the organizations where 550 people worked directly before joining 9 frontier AI labs across 620 career transitions, comparing the main feeder organizations per lab.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

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

  1. about | rishimehta.xyz rishimehta.xyz. Checked 21 October 2026.
  2. AI achieves silver-medal standard solving International Mathematical Olympiad problems deepmind.google. Checked 21 October 2026.
  3. Olympiad-level formal mathematical reasoning with reinforcement learning nature.com. Checked 21 October 2026.
  4. AlphaProof’s Greatest Hits rishimehta.xyz. Checked 21 October 2026.
  5. LLM Coin Flips rishimehta.xyz. Checked 21 October 2026.
  6. Chorus: A Chrome extension to compare LLMs rishimehta.xyz. Checked 21 October 2026.
  7. The 2025 International Mathematical Olympiad rishimehta.xyz. Checked 21 October 2026.