# AI startups aim to automate formal software verification with $365M funding

Digest AI · Research · published 2026-10-29T15:00:00Z

Canonical: https://digestai.news/story/ai-startups-aim-to-automate-formal-software-verification-with-365m-fun

## Summary

&Truth and Harmonic are among startups using AI to make formal software verification—proving code is bug-free—more practical. &Truth, founded by former Stanford researcher Sun, raised $70 million and demonstrated AI verifying Signal’s encryption code. Harmonic, cofounded by Robinhood’s Vlad Tenev, secured $295 million and claims its AI agent Aristotle can verify C code and hardware designs in Verilog. Both are testing the tech with clients like Nvidia and Tensordyne, while Anthropic and Theorem recently used AI to find bugs in open-source software missed by trillions of tests.

Critics like Antithesis’s Will Wilson call formal verification a ‘pain in the ass,’ citing high costs and slow turnaround. Even Apple’s security team admits it must be ‘conservative’ to keep pace with verification. Yet proponents argue AI could make it viable for broader use, from cloud security to AI-generated code. Startups like Truidic and Proofcraft are racing to meet surging demand, though concerns remain about over-reliance on AI-generated proofs.

## Key points

- &Truth raised $70M to automate formal verification of encryption code, including Signal’s, using AI
- Harmonic’s $295M-funded AI agent Aristotle targets C code and Verilog hardware designs, tested by Nvidia
- Anthropic and Theorem used AI to find bugs in open-source code missed by trillions of tests

## Why it matters

If successful, AI-driven verification could reduce critical software bugs in security-critical systems like cloud servers and AI models, but skepticism remains over scalability and cost.

## Sources

1. [The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself](https://wired.com/story/software-verification-is-the-hot-new-answer-to-the-ai-safety-crisis) (Wired AI, 2026-10-29)

## Cite

Digest AI, "AI startups aim to automate formal software verification with $365M funding", 29 October 2026, https://digestai.news/story/ai-startups-aim-to-automate-formal-software-verification-with-365m-fun

---

Written by Digest AI's editorial model from the linked sources; the sources are the record. Headlines, digests and key points are written by Digest AI and may be quoted with a link to the story page. Linked articles belong to their publishers. Terms: https://digestai.news/terms#reuse
JSON: https://digestai.news/story/ai-startups-aim-to-automate-formal-software-verification-with-365m-fun.json