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

An AI Startup Harmonic, who was co-founded by Robinhood’s CEO Vlad Dano, on Monday announced the introduction of an IOS and Android Chatbot App’s beta, where users could access AI Model Aristotle.

With this launch, the company aims to widen access to Aristotle, which is a harmonious claim for answering “hallucination-free” by claiming the questions associated with mathematical logic-a daring claims of reliability of today AI models. Harmonic concentrates on the creation of “mathematical supergence” or MSI; Startup is finally wants to help users in all cases depending on mathematics, including physics, statistics and computer science.

“[Aristotle] In an interview with TechCrunch, the Harmonic CEO and the co-founder logic to Tudor Achim and formally verify it this is the first product available and formally verifying.

Finally, Harmonic says it is planned to publish an API to access Aristotle, as well as a web app for customers.

The Beta launch arrived just weeks after the Million 100 million was collected in a series B round, led by Clainer Parkins, a $ 875 million assessment. Achim claims that Harmonic MSI is “moving very fast” on the way to achievement, and investors believed that this is a fair evaluation because of his startup’s ambition opportunity.

Achim says that Aristotle reaches the Harmonic Open-Source Programming Language Lyne and achieves its hyper-contained solutions. Before giving an answer to Aristotle users, he said that the model doubles the solution that the solution is correct through an algorithmic process that AI is not involved. Harmonic CEO has noted that similar technology is used to verify outputs in the fields of higher parts like aircraft.

Even in an narrow domain, achieving hallucination-free performance from an AI model is an incredibly difficult task. In the study it has been found Even AI models do a lot of hallucinatesAnd the problem doesn’t seem to be getting better. Opeena’s latest AI rational models are more hallucinates than its oldThe

Harmonic says that Aristotle achieved gold medal performance in the 2025 International Mathematics Olympiad through a formal examination (which means problems were translated into a machine -readable format) Google and OpenAIO AI models have developed the gold medal performance in this year’s IMOHowever, through informal tests taken in natural language.