Robinhood CEO’s AI startup Harmonic expands into software, chip design verification
CEO and co-founder of Robinhood Markets Vlad Tenev speaks in the Roosevelt Room at the White House in Washington D.C., U.S., August 19, 2026. REUTERS/Kylie Cooper
Read a summary of this article on FAST.
Get bite-sized news via a new
cards interface. Give it a try.
Click here to return to FAST
Tap here to return to FAST
FAST
Oct 27 : 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
Guess Word
Crack the word, one row at a time
Buzzword
Create words using the given letters
Mini Sudoku
Tiny puzzle, mighty brain teaser
Mini Crossword
Small grid, big challenge
Word Search
Spot as many words as you can
• 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
Source: Reuters
Sign up for our newsletters
Get the CNA app
Stay updated with notifications for breaking news and our best stories
Get WhatsApp alerts
Join our channel for the top reads for the day on your preferred chat app
Get bite-sized news via a new
cards interface. Give it a try.
Click here to return to FAST
Tap here to return to FAST
FAST
