AI slashes formal verification time, costs

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.