Tudor Achim

Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters

Vlad Tenev, Tudor Achim, Sonya Huang, Pat Grady

Harmonic, led by Robinhood CEO Vlad Todorovic and co-founder Tudor, is developing math-specialized superintelligence by utilizing the Lean formal verification language to generate synthetic training data and enable objective, self-correcting reinforcement learning. This approach targets the exhaustion of static internet data by creating an unbounded progression of rigorous mathematical proofs, with projected milestones including winning the International Mathematical Olympiad by 2025 and solving Millennium Prize problems by 2029. By shifting human mathematicians toward strategic problem selection and applying this reasoning framework to software verification and theoretical physics, the company aims to achieve superhuman deductive capabilities that transcend the limitations of current large language models.