Startup &Truth applies formal verification to AI-generated code

Startup &Truth is joining the race to automate formal verification, which uses math to prove software works as intended. The approach is seen as a fix for the reliability problems of vibe coding, though the process is painstaking.