AlphaGeometry, every mention
10 scenes across 4 shows · ← back to AlphaGeometry
tap a year for its mentions
Latent Space 9
No Priors 4
the MAD Podcast 2
Big Technology 1
every year every show Latent Space 9 No Priors 4 the MAD Podcast 2 Big Technology 1
Verbatim, from the transcripts: passages where AlphaGeometry comes up on Latent Space, No Priors, the MAD Podcast, Big Technology
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
- ▶ 12:15 Corinna Hong And I think, uh, Google, you know, started the alpha geometry effort in, uh, and that was very exciting effort. 2 times in the scene
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…
Google DeepMind CEO Demis Hassabis: The Path To AGI, Deceptive AIs, Building a Virtual Cell
- ▶ 5:32 Demis Hassabis You have systems, uh, uh, some systems that we work on, like alpha proof, alpha geometry, that are getting, you know, silver medals in maths olympiads, which is fantastic, but on the other hand,
No Priors Ep. 77 | With Foundry CEO and Founder Jared Quincy Davis
- ▶ 32:13 Jared Quincy Davis I think you actually see it with these most recent models, like alpha geometry, 2 times in the scene
- ▶ 40:29 Jared Quincy Davis I think some of these are baked largely into systems like alpha, alpha code, uh, alpha geometry already. 2 times in the scene
The Winds of AI Winter (Q2 Four Wars of the AI Stack Recap)
- ▶ 42:40 unnamed speaker I always think about this, uh, you know, just reflecting on the GPU-rich port stuff, and now this alpha geometry stuff. 2 times in the scene
Open Source AI is AI we can Trust — with Soumith Chintala of Meta AI
- ▶ 32:32 Soumith Chintala I mean, I don't think PyTorch is being used in this, but like the whole alpha geometry thing was interesting, because again, it's an example of combining the symbolic models with, with, ah, the gradient-based ones. 3 times in the scene