AI startup Harmonic raises $120 million in funding, valued at $1.45 billion

Robinhood CEO Vlad Tenev co-founded the AI startup Harmonic, which has completed a $120 million financing round, reaching a valuation of $1.45 billion. This round was led by Ribbit Capital, with participation from Sequoia, Kleiner Perkins, and new investor Emerson Collective.

Harmonic's core technology, "Mathematical Superintelligence (MSI)," is based on formal logic rather than statistical prediction, aiming to address the AI hallucination problem. Its flagship model, Aristotle, has performed exceptionally well in the International Mathematical Olympiad, reaching a level comparable to leading research labs at Google and OpenAI. Aristotle generates verifiable reasoning steps using the Lean4 programming language, ensuring that conclusions are based on rigorous logic. This technology is particularly suitable for high-risk industries such as aerospace and finance. Currently, Aristotle is available to developers and mathematicians through a free API, with commercialization plans to be launched later.