Tudor Achim
Co-founder of Harmonic and co-creator of Aristotle, with a background in mathematics and physics and a focus on architectures for mathematical superintelligence and formal verification.
Best podcasts with Tudor Achim
Ranked by the Snipd community
133 snips
Feb 18, 2026 • 1h 31min
Mathematical Superintelligence: Harmonic's Vlad Tenev & Tudor Achim on IMO Gold & Theories of Everything
Tudor Achim, co-founder of Harmonic and math/physics architect focused on formal verification, and Vlad Tenev, co-founder of Harmonic whose AI achieved IMO gold-level performance, discuss building Aristotle. They explore architectures for mathematical superintelligence, Monte Carlo Tree Search with lemma guessing, auto-formalization into Lean, and how verifiable reasoning could reshape math and critical software.
8 snips
Mar 24, 2026 • 49min
Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software
Tudor Achim, a Lean-based formal verification expert and builder of math-focused AI, and Vlad Tenev, Robinhood co-founder and former aspiring mathematician, discuss building Aristotle, a model that reasons in Lean to eliminate hallucinations. They cover why math is harder than code for LLMs, how formal verification can make software safer, and AI’s role in solving deep conjectures and scaling mathematical research.
