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

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: