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.<\/p>\n
With this launch, the company aims to broaden access to Aristotle, which Harmonic claims to offer \u201challucination-free\u201d answers for questions involving mathematical reasoning \u2014 a bold claim given the reliability problems of today\u2019s AI models. Harmonic is focused on creating \u201cmathematical superintelligence\u201d or MSI; the startup eventually wants to help users with all fields that rely on math, including physics, statistics, and computer science.<\/p>\n
\u201c[Aristotle] is the first product available to people that does reasoning and formally verifies the output,\u201d said Harmonic CEO and co-founder Tudor Achim in an interview with TechCrunch. \u201cWithin the domains that Aristotle supports, which are quantitative reasoning domains, we actually do guarantee that there\u2019s no hallucinations.\u201d<\/p>\n
Eventually, Harmonic says it also plans to release an API to let enterprises access Aristotle, as well as a web app for consumers.<\/p>\n
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 \u201cadvancing very rapidly along\u201d its path to achieving MSI and that investors believed that was a fair valuation given the scope of his startup\u2019s ambition.<\/p>\n
Several leading tech companies are focused on training their AI models to solve math problems. AI that can do math is valuable in its own right, but math is also considered a uniquely verifiable domain that demands core reasoning skills. Systems that develop these capabilities may prove useful in other domains as well.<\/p>\n
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\u2019t involve AI. Harmonic\u2019s CEO notes that similar technology is used to verify outputs in high-stakes fields such as medical devices and aviation.<\/p>\n
Techcrunch event<\/p>\n
\n\t\t\t\t\t\t\t\t\tSan Francisco
\n\t\t\t\t\t\t\t\t\t\t\t\t\t|
\n\t\t\t\t\t\t\t\t\t\t\t\t\tOctober 27-29, 2025\n\t\t\t\t\t\t\t<\/p>\n
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<\/a>, and the problem doesn\u2019t appear to be getting better. OpenAI\u2019s latest AI reasoning models hallucinate more than its older ones<\/a>.<\/p>\n Harmonic says Aristotle achieved gold medal performance on the 2025 International Math Olympiad (IMO) through a formal test (meaning the problems were translated into a machine\u2011readable format). Google and OpenAI also developed AI models that achieved gold medal performance on this year\u2019s IMO<\/a>, but through informal tests taken in natural language.<\/p>\n","protected":false},"excerpt":{"rendered":"Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev, announced Monday the beta launch of an iOS…\n","protected":false},"author":2,"featured_media":43722,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[45],"tags":[182,34858,34859,181,507,74],"class_list":{"0":"post-43721","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-artificial-intelligence","8":"tag-ai","9":"tag-ai-chatbot","10":"tag-ai-math","11":"tag-artificial-intelligence","12":"tag-artificialintelligence","13":"tag-technology"},"_links":{"self":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/posts\/43721","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/comments?post=43721"}],"version-history":[{"count":0,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/posts\/43721\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/media\/43722"}],"wp:attachment":[{"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/media?parent=43721"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/categories?post=43721"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.newsbeep.com\/us\/wp-json\/wp\/v2\/tags?post=43721"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}