Artificial intelligence for formal mathematical reasoning startup Harmonic AI Inc. announced today that it has raised $100 million in new funding on a nearly $900 million valuation to accelerate the commercialization of its flagship model.
Founded in 2023 and co-founded by Vlad Tenev, chief executive of Robinhood Markets Inc., Harmonic is building Aristotle, a next‑generation AI engine the specializes 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 math problems into formally verifiable proofs.
Harmonic’s approach is focused on mathematical superintelligence, AI with reasoning capabilities that match or exceed humans. Aristotle says it has achieved a state-of-the-art 90% success rate on standard benchmarks like MiniF2F by auto-formalizing 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 math, 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 co-founder and Executive Chairman Tenev. “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, a 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.” 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.
Image: News/Reve
Support our open free content by sharing and engaging with our content and community.
Join theCUBE Alumni Trust Network
Where Technology Leaders Connect, Share Intelligence & Create Opportunities
11.4k+
CUBE Alumni Network
C-level and Technical
Domain Experts
Connect with 11,413+ industry leaders from our network of tech and business leaders forming a unique trusted network effect.
News Media is a recognized leader in digital media innovation serving innovative audiences and brands, bringing together cutting-edge technology, influential content, strategic insights and real-time audience engagement. As the parent company of News, theCUBE Network, theCUBE Research, CUBE365, theCUBE AI and theCUBE SuperStudios — such as those established in Silicon Valley and the New York Stock Exchange (NYSE) — News Media operates at the intersection of media, technology, and AI. .
Founded by tech visionaries John Furrier and Dave Vellante, News Media has built a powerful ecosystem of industry-leading digital media brands, with a reach of 15+ million elite tech professionals. The company’s new, proprietary theCUBE AI Video cloud is breaking ground in audience interaction, leveraging theCUBEai.com neural network to help technology companies make data-driven decisions and stay at the forefront of industry conversations.
