AlphaProof
Software / App
Google/DeepMind's math-focused model mentioned as a competitor / comparable system to Harmonic's Aristotle.
Mentioned in 3 videos
Videos Mentioning AlphaProof
Vlad Tenev: GameStop, Founder Mode, AI
The Knowledge Project Podcast
Google/DeepMind's math-focused model mentioned as a competitor / comparable system to Harmonic's Aristotle.
The Winds of AI Winter (Q2 Four Wars of the AI Stack Recap)
Latent Space
A Google AI model that performed exceptionally well on the International Mathematical Olympiad, nearly achieving a gold medal.
Demis Hassabis: Future of AI, Simulating Reality, Physics and Video Games | Lex Fridman Podcast #475
Lex Fridman