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.