&Truth, a Palo Alto and Singapore public benefit corporation co-founded by Stanford's Clark Barrett and the National University of Singapore's Ilya Sergey, emerged from stealth with 70 million dollars in seed capital to build a "universal verification machine" that mathematically proves software is safe, secure and correct. The round is larger than the seed funding of Theorem, Pramaana Labs and VerifAIX combined, and drew an endorsement from Lean creator Leonardo de Moura.
The verification thesis
Testing can show the presence of bugs but not their absence; formal verification supplies a mathematical guarantee. &Truth's pitch is a system that proves properties of code — including code produced by AI agents — rather than merely checking it. As AI writes more of the software stack, the argument goes, machine-checked proofs become the only trustworthy arbiter.
Who is behind it
The company is co-founded by Clark Barrett, a Stanford professor and a leading figure in formal verification, and Ilya Sergey, a National University of Singapore professor known for work on programming languages and verification. It is structured as a public benefit corporation, signaling a mission orientation alongside commercial goals. Investor names were withheld.
Why it matters
AI coding agents now generate large volumes of code that ships with little human review. A "universal verification machine" aims to close that gap by turning correctness into something provable rather than hoped-for. If it scales, it could become core infrastructure for any organization that lets models write production software.
Key facts
Funding: 70 million dollars seed round, larger than Theorem, Pramaana Labs and VerifAIX combined.
Founders: Clark Barrett (Stanford) and Ilya Sergey (National University of Singapore).
Structure: public benefit corporation based in Palo Alto and Singapore.
Mission: a "universal verification machine" that mathematically proves software is safe, secure and correct.
Backing: endorsement from Lean creator Leonardo de Moura; investor names withheld.
Sources: TechCrunch, threerouter
Top comments (0)