AlphaProof, every mention
8 scenes · ← back to AlphaProof
tap a year for its mentions
every year anyone Yi Tay 3Shawn Wang 3Carina Hong 3Alessio Fanelli 3Brandon Anderson 1
Verbatim, from the transcripts: the passages where AlphaProof comes up
Scaling Past Informal AI - Carina Hong, Axiom Math
- ▶ 5:46 Carina Hong So I want to kind of like bring us back to the alpha proof moment, right? 3 times in the scene
- ▶ 19:24 Brandon Anderson So earlier you said that, like, with the Putnam exam, the, the twenty-twenty-four version, when all of the questions were, that were not, that Alphaproof did not get right.
Inside AI’s $10B+ Capital Flywheel — Martin Casado & Sarah Wang of a16z
- ▶ 40:31 Shawn Wang And that's what DeepMind had in 24 with Alfred Proof, Alfred Geometry.
The AI Frontier: from Gemini 3 Deep Think distilling to Flash — Jeff Dean
- ▶ 46:33 Shawn Wang Um, just to draw a bit on the IMO goal, um, I'm still not over the fact that a year ago we had alpha proof and alpha geometry and all those things, and then this year we were like, screw that, we'll just chuck it into Gemini.
Captaining IMO Gold, Deep Think, On-Policy RL, Feeling the AGI in Singapore — Yi Tay
⚡️Math Olympiad gold medalist explains OpenAI and Google DeepMind IMO Gold Performances
- ▶ 6:39 unnamed speaker Yeah, I, I think that this, uh, uh, dropping the, the need for lean and, you know, other, other sort of specialized systems, like, uh, you know, I, I was, uh, covering this last year, uh, with the, uh, the, the alpha proof and alpha…
Language Agents: From Reasoning to Acting — with Shunyu Yao of OpenAI, Harrison Chase of LangGraph
- ▶ 35:23 Shawn Wang Do you have thoughts on, uh, alpha proof that the new DeepMind paper?
The Winds of AI Winter (Q2 Four Wars of the AI Stack Recap)
- ▶ 39:37 Alessio Fanelli yeah, I mean, I guess we talked about it a little bit before with Lama, um, but there was also the alpha proof thing. 3 times in the scene