Harmonic, the AI company backed by Robinhood's CEO Vlad Tenev, has released the beta version of its AI chatbot app, Aristotle, on iOS and Android. Aristotle aims to deliver verifiable and accurate mathematical reasoning, setting itself apart from conventional AI models prone to errors.
Aristotle employs algorithmic verification, cross-checking solutions using the Lean open-source programming language to ensure accuracy. This approach mirrors verification techniques used in high-risk sectors like aviation. The AI model demonstrated its capabilities by achieving gold medal-level performance at the 2025 International Math Olympiad. Harmonic plans to expand Aristotle's accessibility through an enterprise API and a consumer web app.
A $100 million Series B funding round, led by Kleiner Perkins, values Harmonic at $875 million. The company ultimately aims to pioneer 'mathematical superintelligence', supporting advanced applications in physics, statistics and computer science.
