Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev, introduced Monday the beta launch of an iOS and Android chatbot app the place customers can entry its AI mannequin, Aristotle.
With this launch, the corporate goals to broaden entry to Aristotle, which Harmonic claims to supply “hallucination-free” solutions for questions involving mathematical reasoning — a daring declare given the reliability issues of right this moment’s AI fashions. Harmonic is targeted on creating “mathematical superintelligence” or MSI; the startup finally desires to assist customers with all fields that depend on math, together with physics, statistics, and pc science.
“[Aristotle] is the primary product out there to those that does reasoning and formally verifies the output,” mentioned Harmonic CEO and co-founder Tudor Achim in an interview with TechCrunch. “Inside the domains that Aristotle helps, that are quantitative reasoning domains, we really do assure that there’s no hallucinations.”
Finally, Harmonic says it additionally plans to launch an API to let enterprises entry Aristotle, in addition to an internet app for shoppers.
Harmonic says Aristotle achieved gold medal efficiency on the 2025 Worldwide Math Olympiad (IMO) by way of a proper check (which means the issues had been translated right into a machine‑readable format). Google and OpenAI additionally developed AI fashions that achieved gold medal efficiency on this yr’s IMO, however by way of casual exams taken in pure language.
Harmonic says it’s not releasing different benchmarks for Aristotle right now.
The beta launch of Aristotle comes just some weeks since Harmonic raised $100 million in a Sequence B spherical led by Kleiner Perkins at an $875 million valuation. Achim claims that Harmonic is “advancing very quickly alongside” its path to reaching MSI and that buyers believed that was a good valuation given the scope of his startup’s ambition.
Techcrunch occasion
San Francisco
|
October 27-29, 2025
A number of main tech corporations are centered on coaching their AI fashions to unravel math issues. AI that may do math is effective in its personal proper, however math can also be thought-about a uniquely verifiable area that calls for core reasoning abilities. Methods that develop these capabilities could show helpful in different domains as nicely.
Achim says that Harmonic achieves its hyper-accurate options by having Aristotle produce responses within the open supply programming language Lean. Earlier than Aristotle provides a solution to customers, he says the mannequin double-checks that the answer is right by way of an algorithmic course of that doesn’t contain AI. Harmonic’s CEO notes that comparable know-how is used to confirm outputs in high-stakes fields resembling medical gadgets and aviation.
Even in a slender area, reaching hallucination-free efficiency from an AI mannequin is an extremely troublesome job. Research have discovered that even main AI fashions hallucinate rather a lot, and the issue doesn’t look like getting higher. OpenAI’s newest AI reasoning fashions hallucinate greater than its older ones.
