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.