StarZero All shows Try the podcast clipper →

AlphaProof

2 statements across 2 episodes · 1 bullish · 1 bearish · 2 people on the record · first statement Jan 23, 2026 by Yi Tay · said 14 times in 7 episodes since 2024 · across every show →

Mentions by year

brought up most by Yi Tay (3), Shawn Wang (3), Carina Hong (3), Alessio Fanelli (3), Brandon Anderson (1)

tap a year for its mentions
0052104202420252026episodesmentions
024202420252026episodes it came up in
001.322.54202420252026episodesmentions per episode
2026 9 mentions in 4 episodes 2 per episode
2025 1 mention in 1 episode
2024 4 mentions in 2 episodes 2 per episode

every mention, scene by scene, with the transcript →

Everything said about AlphaProof, oldest first

Jan 23, 2026 bullish
Disclosure
DeepMind Abandoned AlphaProof to Run Gemini End-to-End for IMO Math
“We wanted to try to, like, use, actually use Gemini as an end-to-end model. Basically, no, no second system with alpha proof. No second system. In, text out.”
Yi Tay Jan 23, 2026 ▶ 13:38 Captaining IMO Gold, Deep Think, On-Policy RL, Feeling the AGI in Singapore — Yi Tay
Jun 3, 2026 negative
Assertion Not checkable as stated
Hong: DeepMind's Formal Math Slowdown Post-AlphaProof Was Non-Technical
“After AlphaProof, kind of like, we didn't see a lot of the formal math you know, results or kind of progress from Google DeepMind, and that's actually because of reasons that are not necessarily technical.”
Carina Hong Jun 3, 2026 ▶ 6:18 Scaling Past Informal AI - Carina Hong, Axiom Math
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 200 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

Try the podcast clipper Learn more