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

What happened

Harmonic, the AI startup co-founded by Robinhood CEO Vlad Tenev, said Tuesday it is expanding its Aristotle model from mathematical proofs into software and chip design verification, citing growing scrutiny of AI used to detect software flaws.

Confirmed

Global impact / market context

Harmonic is valued at $1.45 billion after raising $120 million last November, backed by Nvidia's venture arm, Sequoia and Ribbit. Its move into reviewing software and chip designs could open new revenue from companies that need to catch costly coding errors.

Analyst inference

AI tools that find software bugs are drawing more attention after researchers used this technology to uncover critical flaws in PHP. That prompted a rush to patch them, showing demand for automated checking of code and hardware designs.

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 engineers use to model chips before manufacturing. Confirmed
2. Watch whether Harmonic names paying customers or discloses revenue from software and chip verification, since the article gives no sales figures beyond the $120 million raised and $1.45 billion valuation. Proposed
3. The DIII-D fusion lab rebuilt reactor-control software in four hours using Aristotle from one paper and a 254-word prompt; broader adoption of such fast rebuilding could change how labs buy engineering services. Analyst inference

Evidence

• Original source link unavailable