Robinhood CEO's AI Math Startup Harmonic Raises $100M, Valued at $875M

Robinhood CEO's AI Math Startup Valued at Nearly $900 Million

Harmonic AI, an artificial intelligence startup co-founded by Robinhood Markets Inc. Chief Executive Officer Vlad Tenev, has raised $100 million in funding to tackle a problem that has sometimes confounded AI models: math. The Series B funding round was led by Kleiner Perkins, with participation from Sequoia Capital, Index Ventures and Paradigm. The deal values the AI startup at $875 million, said Tenev, who serves as the company's executive chairman, a non-operating role. Harmonic's CEO is Tudor Achim, who previously led autonomous driving startup Helm.ai.

Harmonic raises $100M at nearly $900M valuation to scale AI model for formal mathematical reasoning - SiliconANGLE

Harmonic raises $100M at nearly $900M valuation to scale AI model for formal mathematical reasoning Artificial intelligence for formal mathematical reasoning startup Harmonic AI Inc. announced today that it had raised $100 million in new funding on a nearly $900 million valuation to accelerate its momentum at the frontier of mathematical reasoning and its rapid progress towards commercializing its flagship model. Founded in 2023 and co-founded by Vlad Tenev, the chief executive officer of Robinhood Markets Inc., Harmonic is building Aristotle, a next‑generation AI engine the specalizes in formal mathematical reasoning. Aristotle uses the Lean 4 proof assistant, a proof assistant that allows users to write mathematical definitions, theorems and proofs in a way that can be checked for correctness by a computer, to translate natural-language mathematical problems into formally verifiable proofs. Harmonic's approach is focused on mathematical superintelligence, AI with reasoning capabilities that match or exceed humans. Aristotle has achieved a state-of-the-art 90% success rate on standard benchmarks like MiniF2F by autoformalizing and solving high school to International Mathematical Olympiad-level math problems. MiniF2F is a benchmark dataset designed to evaluate AI models on formal mathematical reasoning by testing their ability to solve math problems using formal proof systems like Lean. The company's methodology involves the use of synthetic data generation for training. Instead of relying on web-scraped data, the system autonomously generates formal problem-proof pairs, which enable recursive self-improvement. Essentially, the AI model can train itself through a "self-play loop" to scale its capabilities, working from simple exercises toward solving advanced theorems. Ultimately, the goal for Aristotle is to solve mathematical problems at a level far exceeding human capabilities. The company says that by accelerating mathematics, the doors open to driving breakthroughs across multiple dependent fields, including theoretical physics and engineering. "We're getting closer to AI that can truly reason - quickly, reliably and at scale," said Tenev, co-founder and executive chairman of Harmonic. "Mathematical Superintelligence is moving from research to real-world applications and we're excited for Aristotle to start putting this AI capability into the hands of users." The Series B round was led by Kleiner Perkins Caufield & Byers, with Paradigm Management, Ribbit Capital Management and existing investors Sequoia Capital Operations, Index Ventures Management and Charlie Cheever also participating. "Harmonic has created a new foundation for verified, scalable reasoning that can be trusted in high-stakes environments," said Ilya Fushman, partner at Kleiner Perkins. "I'm deeply excited about the applications of Aristotle not just for software, but for accelerating progress across science, engineering and general intelligence." As part of the funding deal, Fushman, who is also a former physicist, will join Harmonic's board as an observer. The funding comes after Harmonic had previously raised $75 million in Series A funding in September.