Harmonic App with Aristotle Promises Accurate Mathematical Answers

Startup Harmonic, co-founded by Robinhood CEO Vlad Tenev, announced the launch of a beta version of a chatbot app for iOS and Android. In this app, users will have access to the company’s proprietary AI model called Aristotle. Harmonic claims that Aristotle provides answers without “hallucinations” to questions related to mathematical calculations and can formally verify its results before showing them to users.

For early access to Aristotle Beta, go to https://t.co/jTRutW6kJp

Rollout begins now! https://t.co/JYJZek3c94

— Vlad Tenev (@vladtenev) July 29, 2025

The Aristotle model is designed to solve problems in mathematics, physics, statistics, and computer science. It received a “gold medal” at the 2025 International Mathematical Olympiad during official testing, where tasks were translated into a machine-understandable format. Previously, similar results were achieved only by models from Google and OpenAI, but they underwent informal tests in natural language.

Read also

Google DeepMind and OpenAI models won gold at the mathematics olympiad

Google DeepMind’s AI Surpasses Gold Medalists

According to Harmonic’s head Tudor Achim, the model operates in the open programming environment Lean and verifies its answers using an algorithm that does not use AI. This approach is already applied in fields where high accuracy is required, such as medicine and aviation. The company also plans to release an API for corporate clients and a web app for regular users.

The beta version of Aristotle became available a few weeks after Harmonic raised $100 million in a funding round led by Kleiner Perkins, valuing the startup at $875 million. Harmonic aims to provide users with a tool for accurately solving tasks that require mathematical calculations and formal verification of solutions.