Harmonic 推出可验证 C 与 Verilog 代码的 Aristotle
RT Andrew Reed: Verifying software is a critical frontier. Available today for C and Verilog.
AI 导读
Harmonic 宣布将 Aristotle 带到代码领域，用于验证 AI 编写的软件，即日起支持 C 和 Verilog。背景是 AI 生成的代码已超出人工审查能力，该公司定位为构建专门做代码验证的 AI。红杉资本的 Andrew Reed 转发了这一消息，称验证软件是关键前沿方向。