OpenAI plans Google AI chip purchases, media report says
The ChatGPT maker previously began renting Google's chips. Financial terms of the planned purchases were not disclosed.
Harmonic expands Aristotle AI into software and chip verification
The startup co-founded by Robinhood CEO Vlad Tenev says its model can now check C software and chip designs written in Verilog.
Harmonic said on October 27 that it is extending its Aristotle AI model beyond mathematical proofs to verification of software and chip designs. The startup was co-founded by Vlad Tenev, CEO of Robinhood.
The company said Aristotle can now check programs written in C and verify chip designs using Verilog. Harmonic describes its broader goal as developing “mathematical superintelligence,” a reasoning-focused system intended to reduce hallucinations and factual errors.
DIII-D, a US fusion laboratory, said Aristotle reconstructed a portion of its reactor-control software in four hours using a single research paper and a prompt of 254 words.
Harmonic's backers include Nvidia's venture capital arm, Sequoia and Ribbit Capital. A November funding round brought in $120 million and valued the startup at $1.45 billion.