AI大幅缩短形式化验证时间和成本
斯坦福研究人员朱悦森的AI工具将工程项目时间从5个月缩短至不到0.5天，成本从专家劳动降至不到500美元，使形式化软件验证变得实用。
stanford researcher chuyue sun developed an ai tool that completed an engineering project in under 0.5 days for under $500, compared to 5 months and manual labor by 3 experts. this achievement has sparked interest in formal verification, a field that uses math to prove software works as intended. &truth, a startup co-founded by sun, aims to verify any programming language and has raised $70 million. rival harmonic's ai agent aristotle supports verifying software written in c and hardware designs in verilog.