Robinhood CEO Vlad Tenev's AI startup Harmonic has expanded its mathematical proof model, Aristotle, into software and chip design verification. The company recently unveiled that Aristotle can now verify software written in C and chip designs written in Verilog. Researchers recently used the technology to uncover critical bugs in PHP, prompting a global rush to patch the vulnerabilities.
Key points
Robinhood CEO Vlad Tenev's AI startup Harmonic has expanded its mathematical proof model,…: Robinhood CEO Vlad Tenev's AI startup Harmonic has expanded its mathematical proof model, Aristotle, into software and chip design verification.
The company recently unveiled that Aristotle can now verify software written in C and chi…: The company recently unveiled that Aristotle can now verify software written in C and chip designs written in Verilog.
Researchers recently used the technology to uncover critical bugs in PHP, prompting a glo…: Researchers recently used the technology to uncover critical bugs in PHP, prompting a global rush to patch the vulnerabilities.
Sources checked by our analysis pipeline: 1
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
• 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
Avante, a Seattle-based startup specializing in AI-driven healthcare and benefits management, has secured a $30 million Series A funding round, following a $10 million seed round in 2024. This investment underscores investor confidence in the company's innovative approach to improving workplace health and benefits, enabling it to commercialize its platform and reach a broader audience.
The Arctic Fox Technologies Super Mouse, featuring a compact touchscreen macro pad, is designed to replace traditional mouse peripherals, offering enhanced productivity with customizable shortcuts and voice-to-text capabilities. Preorder available at $199 through Kickstarter, with full retail pricing at $249.
The Defence Acquisition Council has approved the Project 18A plan for developing next-generation destroyers for the Indian Navy, aiming to surpass current models in size and technological sophistication. The project, projected to cost over Rs 75,000 crore, envisions delivery timelines of 5 to 10 years post-contract. The new stealth guided-missile destroyers will be bigger, heavier, and equipped with advanced armaments, making them part of future frontline surface combatants of the Indian Navy. The project, designe…