Harmonic Launches Aristotle: A New AI Chatbot Promising Hallucination-Free Math Solutions

Harmonic, the Robinhood CEO's AI math startup, launches an AI chatbot app | TechCrunch

Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev, announced Monday the beta launch of an iOS and Android chatbot app where users can access its AI model, Aristotle. With this launch, the company aims to broaden access to Aristotle, which Harmonic claims to offer "hallucination-free" answers for questions involving mathematical reasoning -- a bold claims given the reliability problems of today's AI models. Harmonic is focused on creating "mathematical superintelligence" or MSI; the startup eventually wants to help users with all fields that rely on math, including physics, statistics, and computer science. "[Aristotle] is the first product available to people that does reasoning and formally verifies the output," said Harmonic CEO and co-founder Tudor Achim in an interview with TechCrunch. "Within the domains that Aristotle supports, which are quantitative reasoning domains, we actually do guarantee that there's no hallucinations." Eventually, Harmonic says it also plans to release an API to let enterprises access Aristotle, as well as a web app for consumers. The beta launch comes just a few weeks since Harmonic raised $100 million in a Series B round led by Kleiner Perkins at an $875 million valuation. Achim claims that Harmonic is "advancing very rapidly along" its path to achieving MSI, and that investors believed that was a fair valuation given the scope of his startup's ambition. Achim says that Harmonic achieves its hyper-accurate solutions by having Aristotle produce responses in the open-source programming language Lean. Before Aristotle gives an answer to users, he says the model double checks that the solution is correct through an algorithmic process that doesn't involve AI. Harmonic's CEO notes that similar technology is used to verify outputs in high stakes fields such as medical devices and aviation. Even in a narrow domain, achieving hallucination-free performance from an AI model is an incredibly difficult task. Studies have found that even leading AI models hallucinate a lot, and the problem doesn't appear to be getting better. OpenAI's latest AI reasoning models hallucinate more than its older ones. Harmonic says Aristotle achieved gold medal performance on the 2025 International Math Olympiad through a formal test (meaning the problems were translated into a machine‑readable format.) Google and OpenAI also developed AI models that achieved gold medal performance on this year's IMO, but through informal tests taken in natural language.

Harmonic's new AI aims to solve math without errors

This new model, which aims to create "mathematical superintelligence," recently achieved a gold-medal performance at the 2025 International Math Olympiad in a formal test Harmonic, co-founded by Robinhood CEO Vlad Tenev, launched a beta iOS and Android chatbot application, providing users access to its AI model, Aristotle, designed to offer "hallucination-free" answers for mathematical reasoning questions. Harmonic aims to create what it terms "mathematical superintelligence" (MSI). The company intends to expand Aristotle's capabilities beyond current mathematical reasoning to include fields such as physics, statistics, and computer science. This expansion reflects an ambition to assist users across various disciplines that rely on quantitative analysis. Tudor Achim, CEO and co-founder of Harmonic, stated in an interview with TechCrunch, "[Aristotle] is the first product available to people that does reasoning and formally verifies the output." He further clarified, "Within the domains that Aristotle supports, which are quantitative reasoning domains, we actually do guarantee that there's no hallucinations." Future plans for Harmonic include the release of an Application Programming Interface (API) to allow enterprises to integrate Aristotle into their systems. Additionally, a dedicated web application for consumers is planned, broadening access beyond the current mobile app beta. The company has not specified release timelines for these forthcoming products. Aristotle achieved a gold medal performance on the 2025 International Math Olympiad (IMO) during a formal test. This formal test involved translating the problems into a machine-readable format for Aristotle's processing. In comparison, AI models developed by Google and OpenAI also achieved gold medal performance on the same IMO, but these were through informal tests conducted in natural language. Harmonic has not released other benchmarks for Aristotle at this time. The beta launch of Aristotle follows Harmonic's recent Series B funding round, where it secured $100 million. This round was led by Kleiner Perkins, valuing the company at $875 million. Achim indicated that Harmonic is "advancing very rapidly along" its path to achieving MSI, suggesting that investors viewed this valuation as appropriate given the scope of the startup's objectives. Harmonic attributes Aristotle's accuracy to its method of producing responses. The model generates solutions in Lean, an open-source programming language. Before presenting an answer to users, Aristotle employs an algorithmic process to double-check the solution's correctness. This verification step does not involve AI. Achim noted that similar verification technologies are used in high-stakes sectors, including medical devices and aviation, to ensure reliability and safety. The ability to achieve hallucination-free performance in AI models, even within a narrow domain, represents a considerable technical challenge. Studies have indicated that leading AI models frequently exhibit hallucinations, and the issue has not shown signs of significant improvement. Research suggests that OpenAI's more recent AI reasoning models exhibit a higher incidence of hallucinations compared to their predecessors.

Harmonic Launches New AI Chatbot App for Android and iOS

The AI startup is focused on creating mathematical superintelligence Harmonic, a New York-based artificial intelligence (AI) startup, announced the launch of its mobile app on Monday. The app, dubbed Aristotle after the AI model that powers it, is currently available in beta on both Android and iOS. The launch comes weeks after the startup released a waitlist to let interested individuals sign up for the iOS app. Harmonic says it will also make its Aristotle AI model widely accessible with the launch of the apps, and users will be able to try out its advanced mathematical capabilities. According to the company's press release (via Business Wire), both the iOS and Android apps are currently rolling out in beta. It is a chatbot app similar to Gemini, ChatGPT, and Grok, which allows users to type natural language queries and receive responses. Harmonic claims that the AI model powering the app was built to be free of hallucinations. Hallucinations in the AI space refer to instances where a chatbot confidently provides an inaccurate or misleading response. These responses can lead to misinformation and raise questions about AI models' reliability and accuracy. It is understood that all large language models (LLMs) experience some level of hallucinations. However, Harmonic claims otherwise. The AI startup also stated that Aristotle was able to achieve gold medal-level performance on the 2025 International Mathematical Olympiad (IMO). Previously, both Google and OpenAI announced achieving a similar performance during the competition. "The algorithmic innovations that yielded not just IMO Gold-Medal performance, but formally verified solutions to complex, novel mathematical problems, solidify Harmonic's position at the leading edge of AI model development," said Tudor Achim, CEO and Co-Founder of Harmonic. As per the claims of the company, Aristotle uses its mathematical superintelligence (MSI) concept to verify the responses. The system is said to ensure coherent logical reasoning and flag errors and inconsistencies, keeping it hallucination-free. Gadgets 360 staff members were not able to verify any of these claims. The company has also not shared any benchmark scores of the model at this time. Apart from launching the AI chatbot as mobile app for Android and iOS, Harmonic said the model will also be available on the web and via an application programming interface (API).

Beta Release: Aristotle AI Promises Smarter Conversations

Robinhood's co-founder, Vlad Tenev, has moved to machine intelligence. His new AI venture, Harmonic, just soft-launched its chatbot Aristotle for iOS and Android. The app is now in beta, and while the branding leans philosophical, the real question is whether this bot can do anything its competitors can't. Vlad Tenev, the co-founder and CEO of Robinhood, decided to co-found an AI company. His new venture, Harmonic, is a different beast altogether: a startup focused on artificial intelligence, now entering public view with the beta launch of its chatbot app, Aristotle. Available on both iOS and Android, Aristotle is, at the surface level, another entrant in the increasingly saturated AI assistant space. Think ChatGPT, but with more branding flair. Harmonic pitches Aristotle as a reasoning-first model, but not just a chatbot that spits out facts, but one that aims to engage in deeper, more thoughtful conversations. The name alone sets expectations high, evoking philosophical inquiry rather than just transactional queries. Somewhat, the app interface is clean, and the conversation flow feels more nuanced than what you'd get from a baseline language model. Aristotle seems to push users to consider "why" and "how" more than just "what." It occasionally probes with follow-up questions, which can be refreshing - or redundant, depending on what you're looking for. That said, what Harmonic is doing right is focusing. The company isn't chasing enterprise contracts or trying to be everything to everyone. This is a mobile-first, consumer-facing experience, optimized for individual users rather than institutions. In a market where many AI startups are pivoting toward enterprise sales just to survive, this alone sets Harmonic apart - for now. Aristotle achieved a gold medal performance on the 2025 International Math Olympiad (IMO) through a formal test (meaning the problems were translated into a machine‑readable format). Google and OpenAI also developed AI models that achieved gold medal performance on this year's IMO, but through informal tests taken in natural language. The model itself hasn't been open-sourced or benchmarked publicly, so it's hard to gauge technical merit beyond anecdotal usage. Tenev claims Aristotle is "built to reason." Ultimately, Aristotle is interesting. The app feels polished, the ideas behind it are ambitious, and Harmonic's commitment to building a truly conversational AI is commendable. But unless the product can show measurable improvements in logic, comprehension, or trustworthiness over established models, it risks becoming just another pretty interface on top of the same backend limitations. For now, it's a beta worth keeping an eye on, but not because of what it is, but because of what it might evolve into.