Harmonic Raises $120 Million Series C

<p><strong>PALO ALTO<&sol;strong> &&num;8212&semi; <a href&equals;"https&colon;&sol;&sol;cts&period;businesswire&period;com&sol;ct&sol;CT&quest;id&equals;smartlink&amp&semi;url&equals;https&percnt;3A&percnt;2F&percnt;2Fharmonic&period;fun&percnt;2Findex&period;html&amp&semi;esheet&equals;54363793&amp&semi;newsitemid&equals;20251125727962&amp&semi;lan&equals;en-US&amp&semi;anchor&equals;Harmonic&amp&semi;index&equals;1&amp&semi;md5&equals;7503215fd294e6b86e31e3be76da9488" target&equals;"&lowbar;blank" rel&equals;"nofollow noopener" shape&equals;"rect">Harmonic<&sol;a>&comma; an artificial intelligence lab leading the development of Mathematical Superintelligence &lpar;MSI&rpar;&comma; has raised &dollar;120 million Series C funding round at a &dollar;1&period;45 billion post-money valuation&period; This round is led by Ribbit Capital with significant participation from Sequoia Capital&comma; Index Ventures&comma; Kleiner Perkins and Emerson Collective as a new investor&period; Robinhood CEO Vlad Tenev is a founder of the company&period;<&sol;p>&NewLine;<p>Harmonic’s flagship Aristotle model recently achieved gold-medal level performance at the International Mathematical Olympiad&comma; considered the most prestigious mathematical competition in the world&comma; and is now available to the public&period; Unlike other models&comma; Aristotle makes use of formal verification using Lean4 to ensure accuracy and eliminate hallucinations&period; In the first few weeks since its API beta launch&comma; Aristotle has already been used by mathematicians and researchers to accelerate progress and create novel discoveries&period; Last week&comma; Harmonic rolled out major upgrades&comma; including support for plain English input &lpar;in addition to native Lean4&rpar;&comma; automated lemma generation&comma; and a streamlined terminal interface&period;<&sol;p>&NewLine;<p>&OpenCurlyDoubleQuote;Aristotle’s gold-medal performance at the IMO offered an early glimpse into what Mathematical Superintelligence makes possible with advanced reasoning and formal verification together in a single system&comma;” said Tudor Achim&comma; CEO of Harmonic&period; &OpenCurlyDoubleQuote;This funding allows us to advance that foundation even further and faster&comma; while aggressively deploying Aristotle across industries where reliability is critical&period;”<&sol;p>&NewLine;<p>&OpenCurlyDoubleQuote;The Harmonic team is achieving extraordinary success in showing how MSI can accelerate progress in mathematics and other quantitative fields&comma; and Aristotle&comma; even in its early form&comma; already gives us a glimpse towards the better future we will all be in once advanced reasoning and formal verification fully merge&comma;” said Vlad Tenev&comma; Co-Founder and Executive Chairman of Harmonic&period;<&sol;p>&NewLine;<p>&OpenCurlyDoubleQuote;Ribbit’s renewed investment reflects the tremendous technical achievements Harmonic has already made&comma;” said Nick Shalek&comma; General Partner at Ribbit Capital&period; &OpenCurlyDoubleQuote;We’re proud to deepen our partnership as Aristotle continues to demonstrate what Mathematical Superintelligence can achieve in the real world&period;”<&sol;p>&NewLine;<p>Harmonic previously raised &dollar;100 million in its July 2025 Series B funding round led by Kleiner Perkins&comma; and &dollar;75 million in its September 2024 Series A&comma; which was led by Sequoia Capital and included significant participation from Index Ventures&period; Additional backers include Paradigm and Era Funds&period;<&sol;p>&NewLine;