Harmonic raises $120M to advance verifiable AI for high-stakes problem-solving

AI tools often struggle in areas requiring precise logic, such as technical fields or research, where minor errors can have significant consequences. As applications expand into high-stakes uses, demand surges for dependable systems.

Founded in 2023 by Tudor Achim (CEO, formerly CTO of Helm.ai) and Vlad Tenev (Executive Chairman and CEO of Robinhood Markets), the US-based company Harmonic develops mathematically grounded AI for verifiable reasoning, aiming to bypass probabilistic outputs. Its flagship system, Aristotle, generates potential solutions to mathematical problems and only displays the correct results after verifying them using Lean 4, thereby reducing the issue of hallucinations.

Harmonic secured $120 million in a Series C funding round led by Ribbit Capital, Sequoia, Kleiner Perkins, and Emerson Collective, achieving a valuation of $1.45 billion and highlighting growth in the field of precise AI. Funds will advance model capabilities and broaden access.

Sources: Crunchbase | Harmonic

Founders: Tudor Achim, Vlad Tenev