Vlad Tenev

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.