Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything

2026-02-18 · 91 min · 19 entities

episode page audio

Asserted relationships

→ hosted by Erik Torenberg, Nathan Labenz person

0.55

evidence rules-v4
Feed author/publisher: Erik Torenberg, Nathan Labenz
→ discusses Society & Culture concept

0.40

evidence rules-v4
Feed category: Society & Culture
→ discusses Technology concept

0.40

evidence rules-v4
Feed category: Technology
→ discusses Business concept

0.40

evidence rules-v4
Feed category: Business
→ discusses Entrepreneurship concept

0.40

evidence rules-v4
Feed category: Entrepreneurship
→ hosted by Turpentine company

0.40

evidence rules-v4
Feed author/publisher: Turpentine
→ references aipodcast.ing website

0.38

evidence rules-v4
Link in episode "Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything": https://aipodcast.ing/
→ references tasklet.ai website

0.38

evidence rules-v4
Link in episode "Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything": https://tasklet.ai/
→ references blitzy.com website

0.38

evidence rules-v4
Link in episode "Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything": https://blitzy.com/

Entities found in this episode

concepts 9

mentioned Society & Culture concept

0.50

evidence rules-v4
Feed category: Society & Culture
mentioned Technology concept

0.50

evidence rules-v4
Feed category: Technology
mentioned Business concept

0.50

evidence rules-v4
Feed category: Business
mentioned Entrepreneurship concept

0.50

evidence rules-v4
Feed category: Entrepreneurship
discusses Society & Culture concept

0.40

evidence rules-v4
Feed category: Society & Culture
discusses Technology concept

0.40

evidence rules-v4
Feed category: Technology
discusses Business concept

0.40

evidence rules-v4
Feed category: Business
discusses Entrepreneurship concept

0.40

evidence rules-v4
Feed category: Entrepreneurship
mentioned IMO concept

0.35

evidence rules-v4
IMO

websites 6

mentioned aipodcast.ing website

0.45

evidence rules-v4
Link in episode "Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything": https://aipodcast.ing/
mentioned tasklet.ai website

0.45

evidence rules-v4
Link in episode "Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything": https://tasklet.ai/
mentioned blitzy.com website

0.45

evidence rules-v4
Link in episode "Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything": https://blitzy.com/
references aipodcast.ing website

0.38

evidence rules-v4
Link in episode "Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything": https://aipodcast.ing/
references tasklet.ai website

0.38

evidence rules-v4
Link in episode "Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything": https://tasklet.ai/
references blitzy.com website

0.38

evidence rules-v4
Link in episode "Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything": https://blitzy.com/

persons 2

mentioned Erik Torenberg, Nathan Labenz person

0.70

evidence rules-v4
Feed author/publisher: Erik Torenberg, Nathan Labenz
hosted by Erik Torenberg, Nathan Labenz person

0.55

evidence rules-v4
Feed author/publisher: Erik Torenberg, Nathan Labenz

companys 2

mentioned Turpentine company

0.70

evidence rules-v4
Feed author/publisher: Turpentine
hosted by Turpentine company

0.40

evidence rules-v4
Feed author/publisher: Turpentine

Episode description as stored

Vlad Tenev and Tudor Achim from Harmonic explain how they built Aristotle, an AI system that reaches International Mathematical Olympiad gold-medal performance using formally verified Lean proofs. They unpack the architecture behind mathematical superintelligence, including Monte Carlo Tree Search, lemma guessing, and specialized geometry modules. The conversation explores how verifiable reasoning could harden mission-critical software, reshape mathematical practice, and lead to trustworthy superintelligent systems by 2030. Nathan uses Granola to uncover blind spots in conversations and AI research. Try it at ⁠granola.ai/tcr⁠ with code TCR — and if you’re already using it, test his blind spot recipe here: ⁠https://bit.ly/granolablindspot⁠ Sponsors: Claude: Claude is the AI collaborator that understands your entire workflow, from drafting and research to coding and complex problem-solving. Start tackling bigger problems with Claude and unlock Claude Pro’s full capabilities at https://claude.ai/tcr Framer: Framer is an enterprise-grade website builder that lets business teams design, launch, and optimize their.com with AI-powered wireframing, real-time collaboration, and built-in analytics. Start building for free and get 30% off a Framer Pro annual plan at https://framer.com/cognitive Blitzy: Blitzy is the autonomous code generation platform that ingests millions of lines of code to accelerate enterprise software development by up to 5x with premium, spec-driven output. Schedule a strategy session with their AI solutions consultants at https://blitzy.com Tasklet: Tasklet is an AI agent that automates your work 24/7; just describe what you want in plain English and it gets the job done. Try it for free and use code COGREV for 50% off your first month at https://tasklet.ai CHAPTERS: (00:00) About the Episode (04:58) Math as reasoning (Part 1) (15:22) Sponsors: Claude | Framer (18:51) Math as reasoning (Part 2) (18:51) Inside the Lean language (27:51) Lean intuition and MathLib (Part 1) (34:08) Sponsors: Blitzy | Tasklet (37:08) Lean intuition and MathLib (Part 2) (38:47) Inside Aristotle's architecture (48:33) Scope, boundaries, and applications (54:37) Training, taste, and interpretability (01:08:18) Formal math and software (01:16:50) Limits, entropy, and roadmap (01:25:24) 2030 vision and safety (01:33:38) Outro PRODUCED BY: https://aipodcast.ing