Harmonic

Harmonic is an American artificial intelligence company founded in 2023 by Vlad Tenev (Co-Founder of Robinhood) and Tudor Achim, with Tenev as Co-Founder and Achim as Chief Executive Officer leading day-to-day operations. The company is building mathematical superintelligence: AI systems that produce formally verified mathematical proofs and that can reason about mathematics with provable correctness, free of the hallucinations that limit standard generative-model output. In late 2025 Harmonic's flagship Aristotle model produced formally verified solutions to five of six problems on the International Mathematical Olympiad, a result framed by the company and reported in industry coverage as a first for any AI system. The company closed a $120 million Series C in November 2025 at a $1.45 billion post-money valuation, led by Ribbit Capital with Sequoia Capital, Index Ventures, Kleiner Perkins, and new investor Emerson Collective.

At a glance

• Founded: 2023 by Vlad Tenev and Tudor Achim.
• Status: Private. Series C in November 2025 at $1.45 billion post-money valuation.
• Funding: Approximately $295 million cumulative private capital across three principal rounds. $120 million Series C in November 2025 at $1.45 billion post-money valuation, led by Ribbit Capital with Sequoia Capital, Index Ventures, Kleiner Perkins, and Emerson Collective. $100 million Series B in July 2025. Earlier rounds.
• CEO: Tudor Achim, Co-Founder and Chief Executive Officer.
• Other notable leadership: Vlad Tenev, Co-Founder. Concurrent Chief Executive Officer at Robinhood; provides strategic guidance rather than day-to-day operating role.
• Open weights: Limited. Harmonic develops commercial mathematical-superintelligence systems rather than open-weights model releases.
• Flagship outputs: Aristotle, the mathematical-superintelligence-class model that produced formally verified solutions to five of six 2025 International Mathematical Olympiad problems.

Origins

Harmonic was founded in 2023 by Vlad Tenev and Tudor Achim. Tenev had been the co-founder and Chief Executive Officer of Robinhood, the consumer-trading platform, and remains in that role with Harmonic as a parallel commitment; Achim took the day-to-day operating leadership of Harmonic as Chief Executive Officer. The founding research thesis was that the principal limitation of contemporary language-model AI in technical domains is the inability to produce verifiable reasoning, and that mathematical superintelligence (defined as AI capable of generating formally verified proofs at scale) was the correct target for closing that gap.

The 2023 to 2024 stealth and early-product period established the company's research direction toward formally verified mathematical reasoning. By 2024 the company had begun publishing capability demonstrations and progressing through institutional fundraising rounds, with the Tenev profile providing distinctive visibility for an AI insurgent of the period.

In July 2025 Harmonic closed a $100 million Series B at a roughly $875 million pre-money valuation, putting the company near unicorn territory. In November 2025 the Series C of $120 million at a $1.45 billion post-money valuation, led by Ribbit Capital with Sequoia Capital, Index Ventures, Kleiner Perkins, and Emerson Collective, formally crossed the unicorn threshold and brought cumulative private capital to approximately $295 million. Three substantial rounds in fourteen months reflected both the strategic interest in mathematical-superintelligence-class research and the capability evidence Harmonic had been progressively disclosing.

In late 2025 the company announced that Aristotle had produced formally verified solutions to five of six problems on the 2025 International Mathematical Olympiad, framed as a first for any AI system. The IMO is the principal high-school-level mathematics competition globally and produces problems specifically designed to be unfamiliar and to require novel reasoning, making the Aristotle result a substantial capability disclosure.

Mission and strategy

Harmonic's stated mission is to build mathematical superintelligence: AI systems that can solve complex mathematical problems with provable correctness and without the hallucinations that limit standard generative models. The strategic premise is that verifiable mathematical reasoning is the foundation for high-assurance AI deployment in technical domains, and that the path from contemporary language-model AI to the mathematical-superintelligence-class capability target requires a research approach distinct from horizontal frontier-model scaling.

The strategy combines two threads. First, the Aristotle model and the broader mathematical-superintelligence research program, with the IMO result as the principal capability demonstration. Second, applied-deployment in adjacent verification-critical domains, with stated ambitions including software-and-hardware verification and adjacent high-assurance technical applications.

The competitive premise positions Harmonic within the formal-mathematics-AI insurgent cohort alongside Axiom Math, with both companies pursuing mathematical-superintelligence-class research while differentiating on technical approach and applied-deployment focus. Harmonic's emphasis on formally-verified-solution-generation and the IMO result is a distinctive capability positioning relative to peer mathematical-AI approaches.

Models and products

• Aristotle. Mathematical-superintelligence-class model. Produced formally verified solutions to five of six problems on the 2025 International Mathematical Olympiad.
• Mathematical-superintelligence research and tooling. Continued research output beyond Aristotle as the model line evolves.
• Applied verification deployment. Stated forward direction in adjacent high-assurance technical applications.

Distribution channels have been comparatively under-disclosed publicly, with the principal public references being the Aristotle capability demonstrations and broader research-and-recruitment surface.

Benchmarks and standing

Harmonic's evaluation framework focuses on mathematical-reasoning capability metrics rather than horizontal foundation-model leaderboards. The principal disclosed benchmark to date is the 2025 International Mathematical Olympiad result, in which Aristotle produced formally verified solutions to five of six problems, framed as a first for any AI system.

Industry coverage has consistently grouped Harmonic with Axiom Math as the two principal mathematical-superintelligence-class AI insurgents of the 2023 to 2026 cohort. Among the pair, Harmonic's distinguishing positioning is the Tenev co-founder profile and the consumer-fintech-leadership-adjacent investor cohort (Ribbit Capital, Index Ventures, Kleiner Perkins); Axiom Math's positioning is the academic-mathematics-research credibility (Hong's Rhodes-Scholar-and-Morgan-Prize background and the Ono Founding Mathematician role). The capability-demonstration set differs between the two: Harmonic has emphasized the IMO result, while Axiom Math has emphasized the Putnam result and an autonomous proof of an open number-theory conjecture.

Leadership

As of May 2026, Harmonic's senior leadership includes:

• Tudor Achim, Co-Founder and Chief Executive Officer.
• Vlad Tenev, Co-Founder. Concurrent Robinhood Chief Executive Officer; provides strategic guidance rather than day-to-day operating role.
• Senior research and engineering leadership across the Aristotle and mathematical-superintelligence research programs.

The Achim-and-Tenev leadership structure separates day-to-day Harmonic operating leadership (Achim) from strategic-and-fundraising leadership (Tenev), with Tenev's parallel Robinhood role providing distinctive institutional-investor visibility for Harmonic.

Funding and backers

• Earlier rounds (2023 to 2024): Seed and Series A capital. Specific amounts and lead investors comparatively under-disclosed publicly.
• Series B (July 2025): $100 million.
• Series C (November 2025): $120 million at $1.45 billion post-money valuation. Led by Ribbit Capital with Sequoia Capital, Index Ventures, Kleiner Perkins, and new investor Emerson Collective.

Cumulative disclosed private capital approximately $295 million across the three principal disclosed rounds.

Industry position

Harmonic occupies a distinctive position as one of the two principal mathematical-superintelligence-class AI insurgents alongside Axiom Math. The Tenev co-founder profile, the November 2025 IMO capability disclosure, and the Sequoia-Ribbit-Index-Kleiner-Emerson investor cohort combine into one of the most-watched AI-for-mathematics insurgent profiles. Industry coverage has consistently characterized Harmonic as a structurally consequential mathematical-AI insurgent of the 2023 to 2026 cohort.

The structural risks are characteristic of formal-mathematics AI companies. First, the conversion from research demonstrations to commercially valuable applied deployment is the principal commercial question: the IMO result is an unambiguous capability win, but whether mathematical-superintelligence capabilities translate into revenue-generating verification deployments at scale is unproven. Second, the formal-mathematics-AI category is narrower than the horizontal language-model category. Third, the competitive dynamics with Axiom Math, with frontier-lab AI-for-math research programs, and with the broader language-model-style AI-for-math approaches will shape the segment over the next several years.

Competitive landscape

• Axiom Math. Direct mathematical-superintelligence-class AI peer with overlapping mission and a different technical approach (AxiomProver and Lean-substrate emphasis with the Putnam result and Ono-conjecture capability evidence).
• OpenAI, Anthropic, Google DeepMind AI-for-math research. Frontier-lab AI-for-math programs including AlphaProof, AlphaGeometry, and adjacent research output.
• Lean community and academic formal-mathematics research. Carnegie Mellon, Stanford, MIT CSAIL, and broader academic formal-mathematics research peers.
• Code-verification AI peers. Adjacent applied-verification AI companies.

Outlook

• Continued Aristotle capability disclosures and benchmark results beyond the 2025 IMO.
• The pace of applied-verification deployments in software, hardware, and adjacent high-assurance technical applications.
• The competitive dynamics with Axiom Math as both companies progress through 2026 to 2027.
• Continued senior mathematical-research recruiting against academic formal-mathematics research programs.
• The Series D or adjacent fundraising timeline beyond the November 2025 Series C.

Sources

• Business Wire: Harmonic builds momentum towards mathematical superintelligence with $120 Million Series C. November 2025 Series C reference.
• Business Wire: Harmonic raises $100 Million Series B. July 2025 Series B reference.
• TechRepublic: Robinhood CEO's Math-Centric AI Firm Harmonic Hits $1.45B. Series C and unicorn-status reference.
• Sequoia Capital Training Data podcast: Vlad Tenev and Tudor Achim. Founders' research framing.
• Inc: The Founder of Robinhood Has a New AI Startup. Earlier-round and founder reference.
• Business Wire: Harmonic Announces Development of Mathematical Superintelligence Platform. 2024 founding-period reference.