Harmonic, the Robinhood CEO’s AI math startup, launches an AI chatbot app

Harmonic, an innovative AI startup co-founded by Vlad Tenev, the CEO of Robinhood, has officially launched the beta version of its chatbot app for iOS and Android. This app allows users to engage with Harmonic's AI model, Aristotle, which the company claims provides answers free from typical AI errors, often referred to as 'hallucinations'. The primary goal of Harmonic is to develop what it terms 'mathematical superintelligence' (MSI). The startup aspires to assist users across various disciplines that require mathematical expertise, including physics, statistics, and computer science. Tudor Achim, Harmonic's CEO and co-founder, shared in a TechCrunch interview, "Aristotle is the first product that not only performs reasoning but also formally verifies its outputs." He emphasized that within the specific areas Aristotle covers, the model guarantees accuracy without hallucinations. In addition to the chatbot app, Harmonic plans to introduce an API for businesses to utilize Aristotle, along with a consumer-focused web application. This beta launch follows a significant funding achievement, as the startup recently secured $100 million in a Series B funding round led by Kleiner Perkins, achieving a valuation of $875 million. Achim asserts that investors are confident in Harmonic's rapid progress towards achieving MSI, justifying the startup's valuation based on its ambitious goals. The technology behind Aristotle hinges on its ability to produce responses using the open-source programming language Lean. Before delivering an answer, the model employs a rigorous verification process that does not rely on traditional AI methods. Achim remarked that similar verification technologies are crucial in high-stakes industries like medical devices and aviation. Despite the challenges associated with ensuring AI models perform without hallucinations, Harmonic claims that Aristotle has demonstrated exceptional accuracy, achieving gold medal performance in the 2025 International Math Olympiad through a formal testing process. While competitors like Google and OpenAI have also developed models that excel in similar contexts, Harmonic's approach distinguishes itself with its rigorous validation methods.