AlphaProof

Software / AppMentioned in 2 videos

Google/DeepMind's math-focused model mentioned as a competitor / comparable system to Harmonic's Aristotle.

Videos Mentioning AlphaProof

Vlad Tenev: GameStop, Founder Mode, AI

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.

Demis Hassabis: Future of AI, Simulating Reality, Physics and Video Games | Lex Fridman Podcast #475

Demis Hassabis: Future of AI, Simulating Reality, Physics and Video Games | Lex Fridman Podcast #475

Lex Fridman