TechFlow, Nov 26 — Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev, has raised $120 million in funding, reaching a valuation of $1.45 billion. The round was led by Ribbit Capital, with participation from Sequoia, Kleiner Perkins, and new investor Emerson Collective.
Harmonic's core technology, "Mathematical Super Intelligence (MSI)," is based on formal logic rather than statistical prediction, aiming to address the issue of AI hallucination. Its flagship model, Aristotle, has demonstrated outstanding performance in the International Mathematical Olympiad, achieving a level comparable to leading research labs at Google and OpenAI.
Aristotle uses the Lean4 programming language to generate verifiable reasoning steps, ensuring conclusions are grounded in rigorous logic. This technology is particularly suitable for high-risk industries such as aerospace and finance. Aristotle is currently available via a free API to developers and mathematicians, with commercialization plans to be introduced at a later stage.




