The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself
Source: Wired ·
A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.
From the source
Stanford researcher Chuyue Sun and her fellow computer scientists developed an AI tool that completed an engineering project in less than half a day for under $500, compared to the five months it took three highly skilled experts to do the same work manually. The dramatic reduction in time and cost, which Sun reported in a recent paper , is among the early results that are awakening an obscure field of coding and mathematics known as formal verification. For decades, developers have envisioned using math to prove that their software is bug-free. This process is long and laborious, requiring engineers to write precise statements about the goals of their software and convert their code into formulas that can be validated. While companies already run sophisticated tests to identify as many flaws in their software as possible, they rarely shell out for formal verification, which can catch even more erratic behavior . Now, a wave of startups is betting that generative AI will make formal…