Tuesday, October 27, 2026 · Edition updated 6:00 AM ETTUE, OCT 27 editionNext edition in Next in --:--:--
Intelligence Verdict
AI startups · Science, materials and math

Harmonic

“a startup focused on AI systems designed to solve mathematical problems” Axios

  • $1.45Bvaluation at its last closed round, Jan 15, 2026
  • 2023founded
  • Has a product4 things shipped, by our search
The facts

Harmonic at a glance.

Read Oct 20, 2026. Valuations and amounts are copied as each source states them; a figure that is only reported (talks, or people familiar with the deal) is labeled as reported.

Kind of company
Science, materials and mathAI for physics, chemistry, new materials and mathematics, often with robotic labs.
Based in
Palo Alto, United States
Last closed-round valuation
$1.45B$1.45 billion (Axios, Jan 15, 2026)
What it has shipped
Has a product
Founders
  • Vlad Tenev: co-founder; Robinhood CEO (TechCrunch, Jul 28, 2025)
  • Tudor Achim: CEO and co-founder (TechCrunch, Jul 28, 2025)
Latest news

Nvidia joined Harmonic's $120M Series C at a $1.45B valuation. Jan 15, 2026

Axios, Jan 15, 2026

What it has built

Shipped, or not yet.

“Has a product” is what our search found: something the public can use or buy, a model or API, research only, or nothing public.

product · Jul 28, 2025

Aristotle chatbot app (beta, iOS and Android)

Source
api · Nov 25, 2025

Aristotle API (available via sign-up, per Series C post)

Source
paper · Oct 2, 2025

Technical report on Aristotle's IMO approach

Source
open-source · Aug 14, 2025

Yuclid+Newclid 3.0 (open-sourced geometry tools)

Source
3 rounds

Funding, as reported.

Every round we found, with the amount, valuation and investors as the source states them.

WhenRoundAmountValuationInvestors namedSource
Jul 28, 2025Series B$100 million$875 millionKleiner Perkins (lead)TechCrunch
Nov 25, 2025Series C$120 million$1.45 billionRibbit Capital (lead), Sequoia Capital, Index Ventures, Kleiner Perkins, Emerson Collective (new)Harmonic (company)
Jan 15, 2026Series C (Nvidia joins)part of the $120 million Series C$1.45 billionNvidia (new)Axios
Our note

Worth knowing.

Our note: Harmonic says Aristotle produced formally verified (Lean 4) solutions to five of six 2025 IMO problems, which it calls gold medal-level; this is the company's claim and no third-party evaluation was found. Reuters puts total raised at $295 million. The newest item on Harmonic's news page is dated 2026-02-11 (a $300,000 donation to Lean FRO).