Mathematical Superintelligence: Harmonic's Vlad & Tudor on IMO Gold & Theories of Everything
Harmonic co-founders Vlad Tenev and Tudor Achim discuss their AI system Aristotle, which achieved IMO Gold performance using formally verifiable Lean proofs rather than chain-of-thought reasoning, and outline a vision for mathematical superintelligence that could usher in an era of theoretical abundance and trustworthy AI through verifiable outputs.