AlphaProof, every mention
22 scenes across 5 shows · ← back to AlphaProof
tap a year for its mentions
No Priors 27
Latent Space 14
the Knowledge Project 4
the MAD Podcast 2
Big Technology 1
every year every show No Priors 27 Latent Space 14 the Knowledge Project 4 the MAD Podcast 2 Big Technology 1
Verbatim, from the transcripts: passages where AlphaProof comes up on No Priors, Latent Space, the Knowledge Project, the MAD Podcast, Big Technology
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.
The Near Death Experience of RobinHood | Vlad Tenev, Co-Founder
- ▶ 1:00:12 Vlad Tenev So they have a similar mathematics model called, um, alpha proof. 4 times in the scene
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
- ▶ 13:44 Corinna Hong And then that led to alpha proof.
- ▶ 16:20 Corinna Hong The previous year's IMO, the Alpha Proof system was a formal system.
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. 90 | With Google's DeepMind's AlphaProof Team
- ▶ 0:08 Sarah Guo Today, we have Thomas Hubert, Rishi Mehta, and Laurence Sartran from DeepMind's AlphaProof team. 4 times in the scene
- ▶ 3:05 Sarah Guo They feel impossibly hard and Alphaproof had this, um, really amazing results of solving four of the six problems this year. 4 times in the scene
- ▶ 6:37 Sarah Guo Um, is there a way you can characterize like the search space for math overall, or what alpha proof is better at, um, in terms of domains and others, like types of reasoning within math? 2 times in the scene
- ▶ 9:28 Elad Gil Or what are the limitations or approaches to scaling or, you know, uh, increasing the set of problems that alpha proof can solve? 4 times in the scene
- ▶ 13:35 Thomas Hubert So if we want to take our proof all the way there, I think that's a capability we, we need to, um, either it emerges, it's possible because, you know, like,
- ▶ 17:10 Laurent Sartran So the, the core of alpha proof, um, seems to be one of the last big, uh, challenge domains where AI still had a long way to go.
- ▶ 24:57 Laurent Sartran The way alpha proof currency operates there is that it discovers its own proofs, and when they are valid, it learns from them and develop its own style, um, which has been commented upon as looking, yeah, quite, quite alien. 2 times in the scene
- ▶ 28:23 Elad Gil How many mathematicians have access right now to alpha proof, or how do you think about engaging with the mathematics community about day-to-day usage of this pretty amazing, um, set of advancements? 2 times in the scene
- ▶ 30:59 Sarah Guo Is there something that has felt alien or surprising in terms of like an alpha proof proof so far that you can talk about? 6 times in the scene
- ▶ 34:48 Sarah Guo Can we start with advice for people who are working on math today and investing time in it, given, uh, alpha proof and related models?
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