GoKawiilAI startup &Truth launches formal-verification tool, cuts engineering time from months to hours
Stanford researcher Chuyue Sun's AI system completed an engineering verification task in under half a day for less than $500, a job that previously took three experts five months. The work, used to verify part of Signal's encryption code, underpins the public launch of startup &Truth, which Sun joined in August and which has raised $70 million. Rival Harmonic, backed by $295 million and cofounded by Robinhood CEO Vlad Tenev, this week said its AI agent Aristotle can now verify software in C and hardware designs in Verilog, and is testing with firms including Tensordyne and Nvidia's venture arm.
GoKawiil's interpretation of the reporting above, not reported fact.
Formal verification mathematically proves software is free of certain bugs, but its cost and complexity have kept it niche even as AI-generated 'vibe coding' spreads unreviewed code into production. If AI can make this process fast and cheap, as &Truth's chief scientist Ilya Sergey suggests, it could become a standard safeguard against flaws in critical systems like encryption or chip design rather than a rare luxury. The competition between well-funded startups like &Truth and Harmonic suggests investors see formal verification as a potential checkpoint the AI coding boom will eventually need.
- Stanford research showed AI-driven formal verification cut a five-month, multi-expert task to under half a day for under $500.
- Startup &Truth, which Sun joined, launched publicly after raising $70 million and used its method to verify part of Signal's encryption code.
- Rival Harmonic, with $295 million in funding and Robinhood CEO Vlad Tenev as cofounder, is testing its Aristotle AI agent with chipmakers Tensordyne and Nvidia's venture arm.
Source: wired.com — Paresh Dave, 2026-10-29
Published there as: “The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.