Artificial intelligence for formal mathematical reasoning startup Harmonic AI Inc. announced today that it has raised $100 million in new funding at a valuation of nearly $900 million to accelerate its push into the frontier of mathematical reasoning and its rapid progress in commercializing its flagship model.
Founded in 2023 and co-founded by Vlad Tenev, CEO of Robinhood Markets Inc., Harmonic is building Aristotle, a next-generation AI engine that focuses on formal mathematical reasoning. Aristotle uses Proof Assistant 4 Lean, 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 focuses on mathematical superintelligence, AI with reasoning capabilities that match or exceed those of humans. Aristotle achieved a state-of-the-art 90% success rate on standard benchmarks like Minif2F, self-formalizing and solving math problems at the level of the International Mathematical Olympiad. MINIF2F is a benchmark dataset designed to evaluate AI models on formal mathematical reasoning, testing their ability to solve math problems using formal proof systems like Lean.
The company’s methodology involves using synthetic data generation for training. Instead of relying on data scraped from the web, the system autonomously generates error-proof formal pairs, enabling recursive self-improvement. Essentially, the AI model can train itself through a “self-play loop” to scale its capabilities, working with simple exercises to solve advanced theorems.
Ultimately, Aristotle’s goal is to solve mathematical problems at a level far exceeding human capabilities. The company claims that by accelerating mathematics, the doors open to driving advancements in several dependent fields, including physics and theoretical engineering.
“We’re getting closer to AI that can truly reason—fast, 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 that Aristotle is starting to put 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 Aristotle’s applications not just to software, but to accelerating progress in science, engineering, and general intelligence.”
As part of the financing deal, Fushman, who is also a former physicist, will join Harmonic’s board as an observer.
The funding comes after Harmonic raised $75 million in Series A funding in September.
Image: Siliconangle/Reve
Support our free open content by sharing and engaging with our content and community.
Join theCube Alumni Trust Network
Where technology leaders connect, share intelligence, and create opportunities
11.4K+
Cube Alumni Network
N-LEVEL AND TECHNICAL
Domain experts
Connect with 11,413+ industry leaders from our network of technology and business leaders, forming a unique, trusted network effect.
Siliconangle Media is a recognized leader in digital media innovation, serving innovative audiences and brands by bringing together cutting-edge technology, influential content, strategic insights, and real-time audience engagement. As the parent company of Siliconangle Media, TheCube Network , TheCube Research , Cube365 , TheCube AI , and TheCube Superstudios—as established in Silicon Valley and on the New York Stock Exchange (NYSE)—Siliconangle Media operates at the intersection of media, technology, and AI .
Founded by technology visionaries John Furrier and Dave Vellante, Siliconangle Media has built a powerful ecosystem of industry-leading digital media brands with a reach of over 15 million elite technology professionals. The company’s new, proprietary AI video cloud is unlocking audience engagement by leveraging thecubaii.com’s neural network to help technology companies make data-driven decisions and stay at the forefront of industry conversations.
