Harmonic, co-founded by Robinhood CEO Vlad Tenev and led by Tudor Achim, has launched the beta version of Aristotle, an AI chatbot app now available on iOS and Android platforms.
The startup claims Aristotle delivers “hallucination-free” answers for math, physics, statistics, and computer science questions, focusing on rigorous quantitative reasoning. This distinguishes it from other AI, which often produce plausible but incorrect responses.
In an interview, Achim said Aristotle is the first consumer-facing product that both reasons and formally verifies its output, guaranteeing accuracy within supported domains.
Aristotle earned a gold medal performance in the 2025 International Math Olympiad, using formal, machine-readable tests, unlike other AI models that achieved similar results through natural-language tests.
Harmonic recently secured $100 million in a Series B funding round led by Kleiner Perkins at a valuation of about $875 million. Achim emphasized that investors see the ambition towards mathematical superintelligence (MSI) as justified.
The chatbot generates solutions in Lean (an open source proof assistant), and then algorithmically verifies them before presenting them to the user. This is the type of process used in critical industries, such as aviation and medical devices.
Harmonic plans to further expand access to Aristotle through a web app and enterprise API, making the tool available to both consumers and businesses.
