By using this site, you agree to the Privacy Policy and Terms of Use.
Accept
World of SoftwareWorld of SoftwareWorld of Software
  • News
  • Software
  • Mobile
  • Computing
  • Gaming
  • Videos
  • More
    • Gadget
    • Web Stories
    • Trending
    • Press Release
Search
  • Privacy
  • Terms
  • Advertise
  • Contact
Copyright © All Rights Reserved. World of Software.
Reading: Harmonic raises $100M at nearly $900M valuation to scale AI model for formal mathematical reasoning – News
Share
Sign In
Notification Show More
Font ResizerAa
World of SoftwareWorld of Software
Font ResizerAa
  • Software
  • Mobile
  • Computing
  • Gadget
  • Gaming
  • Videos
Search
  • News
  • Software
  • Mobile
  • Computing
  • Gaming
  • Videos
  • More
    • Gadget
    • Web Stories
    • Trending
    • Press Release
Have an existing account? Sign In
Follow US
  • Privacy
  • Terms
  • Advertise
  • Contact
Copyright © All Rights Reserved. World of Software.
World of Software > News > Harmonic raises $100M at nearly $900M valuation to scale AI model for formal mathematical reasoning – News
News

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

News Room
Last updated: 2025/07/10 at 9:05 PM
News Room Published 10 July 2025
Share
SHARE

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.

Sign Up For Daily Newsletter

Be keep up! Get the latest breaking news delivered straight to your inbox.
By signing up, you agree to our Terms of Use and acknowledge the data practices in our Privacy Policy. You may unsubscribe at any time.
Share This Article
Facebook Twitter Email Print
Share
What do you think?
Love0
Sad0
Happy0
Sleepy0
Angry0
Dead0
Wink0
Previous Article Intel Readies Big Graphics Driver Changes For Linux 6.17: Multi-Device Prep, SR-IOV, WCL
Next Article Get a free Samsung Music Frame with the purchase of a The Frame Pro TV
Leave a comment

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Stay Connected

248.1k Like
69.1k Follow
134k Pin
54.3k Follow

Latest News

The 23 Prime Day tech deals I recommend as a tech editor (updated for Day 4)
News
When will Apple release M5 Macs?
News
Prime Day Ends Tonight. We Have Nearly 300 Last-Chance Deals So You Can Save
Gadget
Oxfordshire County Council completes GigaHubs project | Computer Weekly
News

You Might also Like

News

The 23 Prime Day tech deals I recommend as a tech editor (updated for Day 4)

22 Min Read
News

When will Apple release M5 Macs?

6 Min Read
News

Oxfordshire County Council completes GigaHubs project | Computer Weekly

5 Min Read
News

Google’s foldable Pixel phones are in serious trouble

9 Min Read
//

World of Software is your one-stop website for the latest tech news and updates, follow us now to get the news that matters to you.

Quick Link

  • Privacy Policy
  • Terms of use
  • Advertise
  • Contact

Topics

  • Computing
  • Software
  • Press Release
  • Trending

Sign Up for Our Newsletter

Subscribe to our newsletter to get our newest articles instantly!

World of SoftwareWorld of Software
Follow US
Copyright © All Rights Reserved. World of Software.
Welcome Back!

Sign in to your account

Lost your password?