AI Software Verification Automation Raises $70 Million
New capital accelerates the deployment of automated proof generation to replace traditional software testing methods.
Updated on Oct. 29, 2026 in Artificial Intelligence
Live Poll
Do you trust that automated verification tools will make the software you use more secure?
&Truth has raised $70 million to scale software verification automation using large language models. This funding arrives as the industry increasingly adopts automated methods to prove code correctness.
Why it matters
Formal verification is traditionally costly and slow, limiting its use in software development. Automating the creation of machine-checkable proofs allows regulated industries to scale rigorous security testing.
Formal verification requires translating software code into machine-checkable formulas that express intended behavior. Recent collaborations, such as the one between Anthropic and Theorem, have successfully verified over 100 libraries, surfacing bugs that trillions of traditional tests missed.
The players
&Truth
A startup focused on automating software verification through language models.
Anthropic
An AI research lab building large language models used to generate formal software proofs.
Theorem
A startup building formal verification tools that leverage automated proof generation.
The details
Formal verification involves creating a mathematical specification of how a piece of software should behave, then using algorithms to prove the code complies with that specification. Historically, this manual process required expert human intervention. Large language models automate the labor-intensive translation of code and specifications into proof language, making the process significantly more efficient.
Timeline
January 2026: Theorem secured a $6 million seed round.
June 2026: Pramaana Labs raised $27 million.
September 2026: VerifAIX raised $5 million.
October 2026: Anthropic and Theorem completed proofs for over 100 libraries.
Late October 2026: Harmonic expanded its formal verification checks.
The Tech Race
The funding surge for startups like &Truth, Pramaana Labs, and VerifAIX signals an intensifying race to replace manual, error-prone software testing with automated verification. This trend marks a shift away from trillions of unit tests toward mathematically proven code correctness.
Developers in regulated sectors will likely see these automated tools integrated into their CI/CD pipelines in the coming years. This shift aims to reduce the frequency of critical software bugs that evade traditional test suites.
The takeaway
Automated proof generation is moving from research prototypes into commercial toolsets, promising to uncover vulnerabilities that traditional testing misses. Track the adoption rates of these AI-driven verification tools as they integrate into enterprise software development cycles.
Further reading
For more on how AI is transforming development workflows, read the latest coverage in Artificial Intelligence.
Source note: This article includes information reported by Crypto Briefing.
Live Poll
Do you trust that automated verification tools will make the software you use more secure?
