AlphaGeometry, every mention
6 scenes · ← back to AlphaGeometry
tap a year for its mentions
every year anyone Soumith Chintala 3Shawn Wang 2Yi Tay 1
Verbatim, from the transcripts: the passages where AlphaGeometry comes up
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…
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