Harmonic is an artificial intelligence startup co-founded by Robinhood CEO Vlad Tenev, which recently announced the launch of its AI chatbot application for iOS and Android platforms. Users can access its AI model, Aristotle, through this app. The application is currently in the testing phase, aiming to make this "hallucination-free" mathematical reasoning tool more accessible to people.
Harmonic claims that Aristotle can provide accurate answers to questions in the field of mathematical reasoning, a bold assertion in the context of reliability issues commonly seen in AI models today. Harmonic's goal is to create "Mathematical Superintelligence" (MSI), hoping to help users solve problems across various fields involving mathematics, including physics, statistics, and computer science.
CEO and co-founder of Harmonic, Tudor Achim, said in an interview with TechCrunch: "Aristotle is the first product that can reason and formally verify its output. In the quantitative reasoning areas supported by Aristotle, we actually guarantee no hallucinations." In addition, Harmonic plans to launch an API in the future, allowing businesses to access Aristotle, and will also release a web application for consumers.
Notably, Harmonic claims that Aristotle achieved gold medal performance in the 2025 International Mathematical Olympiad (IMO), which was verified through formal testing, meaning the problems were converted into machine-readable formats for verification. In comparison, Google and OpenAI's AI models also achieved gold medals in this year's IMO, but they were through informal tests conducted in natural language.
The release of Aristotle's beta version coincides with Harmonic's recent completion of a $100 million Series B funding round, led by Kleiner Perkins, with the company's valuation reaching $875 million. Achim stated that investors believe this valuation is reasonable because Harmonic is rapidly advancing on the path to achieving Mathematical Superintelligence.
Currently, many leading tech companies are working on training their AI models to solve mathematical problems. AI capable of performing mathematical operations is inherently valuable, and since mathematics is a unique verifiable domain, systems requiring core reasoning capabilities may also play important roles in other fields.
Achim pointed out that Harmonic achieves its highly accurate solutions by having Aristotle use the open-source programming language Lean. Before providing an answer, Aristotle double-checks the correctness of the solution through an algorithmic process that does not involve AI. This kind of technology is also widely used in high-risk fields such as medical devices and aviation for output verification.
Although achieving a hallucination-free AI model in a narrow field is an extremely difficult task, Harmonic has still taken an important step forward in this area.
Official website: https://harmonic.fun/
Key points:
📊 The Aristotle AI chatbot launched by Harmonic aims to provide precise answers to mathematical reasoning problems.
💰 The company recently secured a $100 million Series B funding round, with a valuation of $875 million, indicating rapid development.
🧠 Aristotle uses an open-source programming language for algorithmic validation, ensuring outputs are free from hallucinations.