Startup &Truth aims to automate mathematical verification of software

A new startup called &Truth has joined the race to automate formal verification. Formal verification is a painstaking process that uses math to prove software works as intended. According to Wired, the approach could help save vibe coding, or writing code with AI, from its own problems.