Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev, has released the beta version of its iOS and Android chatbot app featuring Aristotle, an AI model designed specifically for mathematical reasoning without hallucinations.
The company, which recently raised $100 million in Series B funding at an $875 million valuation, distinguishes itself from mainstream AI models by focusing on mathematical superintelligence (MSI). Unlike conventional large language models that struggle with complex calculations, Aristotle was built from the ground up to guarantee accuracy in quantitative domains.
"Aristotle is the first product available to people that does reasoning and formally verifies the output," said Harmonic CEO and co-founder Tudor Achim. "Within the domains that Aristotle supports, which are quantitative reasoning domains, we actually do guarantee that there's no hallucinations."
The system achieves this remarkable accuracy through a two-step process. First, Aristotle translates natural language math problems into the open-source programming language Lean 4, a proof assistant that allows mathematical definitions and theorems to be checked for correctness. Then, before providing answers to users, the model double-checks solutions through an algorithmic verification process that doesn't involve AI—similar to verification methods used in high-stakes fields like medical devices and aviation.
Harmonic claims Aristotle achieved gold medal performance on the 2025 International Math Olympiad (IMO) through formal testing, where problems were translated into a machine-readable format. This achievement comes during a year when AI models from Google DeepMind and OpenAI also reached gold medal standards at the IMO, though through informal tests taken in natural language.
The company's ambitions extend beyond mathematics. Harmonic believes MSI will help users with all fields that rely on mathematical reasoning, including physics, statistics, and computer science. Eventually, the company plans to release an API for enterprise access and a web application for consumers, potentially transforming how industries approach problems requiring precise quantitative reasoning.