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

Oct 27 (Reuters) - ‌Harmonic, the ​AI ​startup co-founded by Robinhood CEO Vlad Tenev, said on Tuesday ‌it was expanding its Aristotle model ⁠from mathematical proofs into software and chip ‌design verification, as ‌AI's growing use in detecting software flaws draws increased scrutiny.

Researchers recently used ​the technology to uncover critical bugs in PHP, prompting a global ⁠rush to patch the vulnerabilities.

Here are more details:

• ​Backed by Nvidia's venture capital arm, Sequoia and Ribbit Capital, Harmonic ​raised $120 million in a ‌funding round last November that valued it at $1.45 billion

• ⁠Harmonic is developing what it calls "mathematical superintelligence", a reasoning-focused AI system aimed at ⁠reducing hallucinations and factual errors

• The company said ​Aristotle can now verify software written in C and chip designs written in Verilog

• ‌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

(Reporting by Aditya Soni in Bengaluru; Editing by Sherry ‌Jacob-Phillips)

---

Serious News for Serious Traders! Try StreetInsider.com Premium Free!

---

You May Also Be Interested In

• Food and household brands warn of more price hikes as Iran war costs bite
• US energy firms to produce record natgas in 2026 as global demand soars
• Flavio Bolsonaro leaves Brazil for US after election defeat, source, media say