# Startups bet AI can make formal software verification practical

> Original title: The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself

- Source: Wired · AI
- Published: 2026-10-29T15:00:00.000Z
- Bad Influence: https://badinfluence.news/items/vt5g8q12vkqg9159ow9vz8hv5
- Original: https://www.wired.com/story/software-verification-is-the-hot-new-answer-to-the-ai-safety-crisis/

## Summary

Startups including &Truth, Harmonic, and Truidic are betting that generative AI can make formal software verification practical and widely used. &Truth raised $70 million, and Harmonic, which has $295 million in funding, says its Aristotle agent can verify C code and Verilog hardware designs. Skeptics such as Antithesis CEO Will Wilson argue that formal verification cannot catch every bug, and adoption and pricing remain unresolved.