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

Harmonic, the AI startup co-founded by Robinhood CEO Vlad Tenev, said on Tuesday it is expanding its Aristotle model from mathematical proofs into software and chip-design verification, Reuters reported. The move comes as AI's growing use in detecting software flaws draws increased scrutiny.

From math proofs to code

Harmonic said Aristotle can now verify software written in C and chip designs written in Verilog. The company describes its goal as mathematical superintelligence: a reasoning-focused AI system aimed at reducing hallucinations and factual errors.

Reuters noted that researchers recently used this kind of technology to uncover critical bugs in PHP, prompting a global rush to patch them. Catching defects at the design stage, with mathematical checks rather than testing alone, is the market Harmonic wants to serve.

A four-hour fusion case

Harmonic pointed to the US fusion lab DIII-D, which it said used Aristotle to rebuild part of its reactor-control software in four hours, from one research paper and a 254-word prompt. The example is meant to show a reasoning model that does not just write code but checks it against a specification.

Background and what to watch

Harmonic raised $120 million last November at a $1.45 billion valuation, backed by Nvidia's venture arm, Sequoia and Ribbit Capital. The report did not mention new funding or new customers tied to this expansion. What matters next is whether verification tools move from research demonstrations into chip and software companies' daily development work, and whether customers will pay for that added certainty.