&Truth discloses $70 million in seed capital for software verification

More generated code increases the importance of checking what that code actually guarantees.

What happened

&Truth disclosed $70 million in seed capital while outlining technology for proving that software satisfies precisely stated specifications. The company was founded by Chris Hsu, Clark Barrett and Ilya Sergey and builds on open-source formal verification foundations.

Why it matters

Mathematical proofs can strengthen assurance about defined software properties. Their guarantees still depend on the specifications, assumptions and systems included in the verification.

The bigger picture

AI coding tools increase software output, but verification must keep pace. Commercial adoption will depend on which real codebases can be handled and how easily verification fits into development.