Harmonic AI Inc. announced today that it has secured $120 million in a Series C funding round, achieving a valuation of $1.45 billion. Among the investors is NVentures, the venture capital arm of Nvidia Corp., which is expected to bolster the development of the company’s flagship product, Aristotle. This funding follows a previous raise of $100 million in July at a $900 million valuation, as well as a $75 million Series A round in September 2024.
Harmonic AI is focusing its efforts on advancing Aristotle, which it touts as the world’s most advanced mathematical reasoning engine. The company claims that Aristotle eliminates hallucinations, a common issue in artificial intelligence models where outputs may be plausible but incorrect. This AI engine is designed for formal mathematical reasoning, utilizing the Lean 4 proof assistant to convert natural-language math problems into formally verifiable proofs.
Central to Harmonic’s approach is the concept of mathematical superintelligence, which aims to provide AI reasoning capabilities that match or exceed those of humans. The company employs synthetic data generation for training, enabling it to autonomously create formal problem-proof pairs rather than relying on traditional web-scraped data. This innovative methodology is intended to facilitate recursive self-improvement in the AI model.
Aristotle has already demonstrated its capabilities, achieving Gold Medal-level performance at the 2025 International Mathematical Olympiad. Recently, its capabilities have been further enhanced, culminating in a breakthrough in AI coding with a score of 96.8% on the Verifiable Code Generation Arena (VERINA) benchmark. Developed by researchers at the University of California at Berkeley and Meta Platforms Inc., the VERINA benchmark serves as a high-quality measure for assessing verifiable code generation.
Harmonic AI argues that code generation has emerged as one of the most powerful applications of large language models. However, the verification of correctness through informal methods is often labor-intensive and costly, creating a bottleneck in the process. Aristotle aims to address these challenges, similar to how it resolves issues in mathematical verification.
“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 Tudor Achim, Chief Executive of Harmonic AI. “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.”
In addition to NVentures, other notable 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. The support from such a diverse group of investors underscores the growing interest in AI technologies that focus on formal reasoning and automated theorem proving.
The recent funding and advancements highlight a pivotal moment for Harmonic AI as it continues to carve out a niche in the competitive AI landscape. As the company seeks to broaden Aristotle’s capabilities, it may pave the way for innovative applications in various sectors that require precise mathematical reasoning. This could potentially lead to significant advancements in fields such as finance, engineering, and scientific research, where accurate problem-solving is essential.
See also
AI’s Global Impact in 2026: U.S.-China Rivalry Fuels Sovereign Models, Data Control, and Governance
Apply Now: Fully Funded 2026 AI Policy Fellowship at IAPS—Deadline February 2
OpenAI Invests in Sam Altman’s Merge Labs to Advance Non-Invasive BCIs
Experts Warn: CES Health Gadgets Face Scrutiny Over Accuracy and Privacy Concerns
Scoop AI Hackathon Tokyo Bowl on Jan. 31: $1,000 Prize Pool Awaits Innovators
