10月27日：由Robinhood CEO Vlad Tenev共同创办的AI初创公司Harmonic周二表示，正将其Aristotle模型从数学证明领域扩展至软件和芯片设计验证，此举正值AI在检测软件缺陷方面的应用日增并引发更多审视之际。
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.
研究人员近期利用该技术在PHP中发现关键漏洞，引发全球抢修竞赛。以下为更多细节：
Researchers recently used the technology to uncover critical bugs in PHP, prompting a global rush to patch the vulnerabilities. Here are more details:
- 获Nvidia风投部门、红杉资本和Ribbit Capital支持，Harmonic去年11月完成一轮融资，筹集1.2亿美元，估值达14.5亿美元
• 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
- 美国聚变实验室DIII-D表示，Aristotle仅凭一篇研究论文和一个254词的提示词，便在四小时内重构了其反应堆控制软件的部分代码
• 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