Harmonic

Core neolab

Develops Aristotle, an AI system that formally verifies mathematical proofs, software and hardware

Record checked 9 Nov 2026harmonic.funReport an error

Raised, confirmed$295M3 confirmed rounds

Valuation, confirmed$1.45B25 Nov 2025

Valuation, reported—no open report

Founded2023Palo Alto, CA, US

Key facts

Field	Value	Source · checked
Classification	Core neolabResearch lab building formal-verification AI (Aristotle), co-founded in 2023 by Tudor Achim and Vlad Tenev; $120M Series C at a $1.45B valuation (Nov 2025).	Tier definitions
Founded	2023	harmonic.funco-founded Harmonic with Tudor that yearchecked 9 Nov 2026
Headquarters	Palo Alto, CA, USOpen roles are listed in Palo Alto and London.	harmonic.funchecked 9 Nov 2026
Founders	Tudor Achim, Vlad Tenev	Sources per person below
Website	harmonic.fun	harmonic.funTry Aristotle, an AI that formally verifies your software and hardware.checked 9 Nov 2026
Careers	harmonic.fun9 open roles on 9 Nov 2026	harmonic.funchecked 9 Nov 2026
Profiles and work	X @HarmonicMath LinkedIn YouTube	How links are checkedchecked 10 Nov 2026

Harmonic has raised $295M in rounds confirmed by the company, a regulator or two independent outlets. Status rules: methodology.

Date	Round	Amount	Valuation	Investors	Status	Source · checked
25 Nov 2025	Series C	$120M	$1.45B	Lead: Ribbit Capital; Sequoia, Index Ventures, Kleiner Perkins, Emerson Collective, NVIDIA (NVentures)	Confirmed	HarmonicLed by Ribbit Capital, the round values Harmonic at $1.45 billion and included significant participation from Sequoia Capital, Index Ventures, Kleiner Perkins and Emerson Collective as a new investor.+1 more sourcechecked 9 Nov 2026
9 Jul 2025	Series B	$100M	—	Lead: Kleiner Perkins; Paradigm, Ribbit Capital, Sequoia, Index Ventures, Charlie Cheever	Confirmed	HarmonicThe $100M funding round is led by Kleiner Perkins with significant participation from Paradigm.checked 9 Nov 2026
23 Sep 2024	Series A	$75M	—	Lead: Sequoia; Index Ventures, GreatPoint Ventures, Era Funds, Blossom Capital, DST Global, Elefund, Nikesh Arora, Jared Leto	Confirmed	Harmonicwe've recently closed our $75 million Series A funding round led by Sequoia Capitalchecked 9 Nov 2026

Notes on these rounds

25 Nov 2025 Series C: NVentures, the venture arm of Nvidia, was disclosed as a Series C investor on 15 Jan 2026.

Name	Role	Before	Now	Source · checked
Tudor AchimX LinkedIn Scholar Site	Co-Founder and CEO	Helm.ai (Co-founder and CTO)	Current	harmonic.funBefore Harmonic, Tudor co-founded Helm.ai and was its CTO.checked 9 Nov 2026
Vlad TenevX LinkedIn	Co-Founder and Executive Chairman	Robinhood (Co-founder and CEO)	Current	harmonic.funwent on to co-found Robinhood, where he’s CEOchecked 9 Nov 2026

Professional facts from public sources only. How people records are handled.

Name	Kind	Date	Open weights	Source · checked
Aristotle (formal verification for C and Verilog)	product	27 Oct 2026	—	harmonic.funToday we’re bringing Aristotle to software and hardware, starting with C and Verilog.checked 9 Nov 2026
Aristotle (IMO gold-medal-level result, iOS app beta)	model	28 Jul 2025	—	harmonic.funAristotle Achieves Gold Medal-Level Performance at the International Mathematical Olympiad, iOS App Beta Launchchecked 9 Nov 2026
pbcc (protobuf compiler for Python)	tool	16 Dec 2025	Yes	harmonic.funOpen Sourcing pbcc: A Faster, Leaner Protobuf Compiler for Pythonchecked 9 Nov 2026
python-memtools	tool	19 Jan 2026	Yes	harmonic.funOpen-sourcing python-memtools: a memory analyzer for Python programschecked 9 Nov 2026

The most recent posts from @HarmonicMath, the X account of Harmonic, quoted as posted. Replies and reposts are left out. How posts are selected.

Which language do you want Aristotle to support next? Something else? Tell us below 👇

LGTM is not a proof

Friday deploy rules: 1. Don’t 2. If you have to, prove it first

checked 10 Nov 2026

Figures and statements about Harmonic that circulate in lists and summaries, and what the sources support.

Claim	Finding	Source
Ribbit Capital and Nvidia	Harmonic's announcement says the Series C was led by Ribbit Capital; Nvidia's venture arm NVentures was reported as an investor in the same round on 15 Jan 2026.	harmonic.funLed by Ribbit Capital, the round values Harmonic at $1.45 billion
Nvidia investment (Jan 2026) as a separate event	No separate round found; the Jan 2026 report discloses NVentures as part of the Nov 2025 Series C.	siliconangle.comwas among the investors in its $120 million Series C round that was raised on a $1.45 billion valuation in November.

Work at Harmonic, or see something wrong? Update this profile with a public source. How corrections work.