Robinhood CEO's AI startup Harmonic expands into software, chip design verification

What happened

Harmonic, an AI startup co-founded by Robinhood CEO Vlad Tenev and backed by Nvidia's venture arm NVentures, Sequoia and Ribbit Capital, said it is expanding its Aristotle model from mathematical proofs into software and chip design verification.

Confirmed

Global impact / market context

Harmonic is pushing AI into checking software and chip designs for errors, a task with high stakes for product safety. If buyers adopt it, demand could shift toward automated verification tools and away from slower manual reviews, affecting software and chipmakers' costs.

Analyst inference

Harmonic raised $120 million last November at a $1.45 billion valuation, showing strong investor backing for reasoning-focused AI that aims to reduce hallucinations, which means made-up or wrong answers. Nvidia's venture arm participating signals chip-industry interest in verification tools.

Analyst inference

What to watch

1. Harmonic said Aristotle can now verify software written in C and chip designs written in Verilog, a hardware description language used to design chips. Confirmed
2. US fusion lab DIII-D said Aristotle rebuilt part of its reactor-control software in four hours from one research paper and a 254-word prompt. Confirmed
3. Watch whether software and chip companies adopt Aristotle's usage-based pricing, which means customers pay for how much they use, potentially shifting verification budgets toward AI tools. Analyst inference

Evidence

• Original source link unavailable