Mathematical superintelligence startup Harmonic AI Inc. revealed today that NVentures, the venture capital arm of Nvidia Corp., was among the investors in its $120 million Series C round that was raised on a $1.45 billion valuation in November.
The funding is being used to accelerate Harmonic’s momentum in developing Aristotle, which the company claims is the world’s most advanced mathematical reasoning engine that eliminates hallucinations.
Aristotle is an AI engine that specializes in formal mathematical reasoning. The engine uses the Lean 4 proof assistant, which 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.
Mathematical superintelligence is core to the company’s approach, with AI that provides reasoning capabilities that match or exceed humans. The methodology involves the use of synthetic data generation for training that, instead of relying on web-scraped data, autonomously generates formal problem-proof pairs, which enable recursive self-improvement.
Aristotle is already making waves: The model achieved Gold Medal-level performance at the 2025 International Mathematical Olympiad.
More recently, Harmonic has expanded Aristotle’s capabilities even further by achieving a new breakthrough in AI coding — a state-of-the-art 96.8% on the Verifiable Code Generation Arena benchmark. The VERINA benchmark, developed by researchers at the University of California at Berkeley and Meta Platforms Inc., serves as a high-quality means of benchmarking verifiable code generation.
Harmonic argues that code generation has quickly become one of the most powerful use cases of large language models. Yet verifying correctness using informal methods is costly and manual, causing the same verification bottleneck Aristotle has already begun to address for mathematics.
“The success of Aristotle in solving major mathematical problems, along with its breakthroughs in fully autonomous theorem proving, demonstrates Harmonic’s rapid progress toward achieving Mathematical Superintelligence,” said Chief Executive Tudor Achim. “This support will help us advance Aristotle’s capabilities, accelerate the pace of discovery in mathematics and enable industries to harness the power of mathematical AI for critical, high-stakes problems.”
The new funding follows previous raises of $100 million in Series B funding on a $900 million valuation in July and a Series A raise of $75 million in September 2024.
Along with Nvidia’s NVentures, other investors in the Series C round included Kleiner Perkins Caufield & Byers, Paradigm Management, Ribbit Capital Management, Sequoia Capital Operations, Index Ventures Management and Charlie Cheever.
Image: Harmonic
Support our mission to keep content open and free by engaging with theCUBE community. Join theCUBE’s Alumni Trust Network, where technology leaders connect, share intelligence and create opportunities.
- 15M+ viewers of theCUBE videos, powering conversations across AI, cloud, cybersecurity and more
- 11.4k+ theCUBE alumni — Connect with more than 11,400 tech and business leaders shaping the future through a unique trusted-based network.
About News Media
Founded by tech visionaries John Furrier and Dave Vellante, News Media has built a dynamic ecosystem of industry-leading digital media brands that reach 15+ million elite tech professionals. Our 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.
