Harmonic, the US-based AI company, has announced a new $100 million funding round, valuing the company at approximately $900 million.
The round was led by Kleiner Perkins, with participation from Paradigm Management, Ribbit Capital, Sequoia Capital, Index Ventures, and Charlie Cheever.
The fresh capital will be used to accelerate the commercialization of Harmonic’s flagship mathematical AI model, Aristotle, and bring its advanced capabilities to a broader user base.
Founded in 2023, Harmonic is backed by Robinhood CEO Vlad Tenev and led by Tudor Achim. The company focuses on building AI systems capable of performing advanced mathematical reasoning, aiming to achieve what it calls Mathematical Super Intelligence (MSI).
Aristotle stands out as an AI engine that translates natural language math problems into formal proofs, using the open-source proof assistant Lean 4 to generate accurate definitions, theorems, and proofs.
Rather than relying on web-based data, Harmonic trains Aristotle using synthetic problem-proof pairs. The model has demonstrated its strength by achieving 90% accuracy on international math benchmarks like MiniF2F, showing proficiency across problems from high school to Olympiad level.
