&Truth Emerges From Stealth With $70 Million for Code Verification

Oct 30, 2026
&Truth emerges from stealth with $70 million in seed capital to build a system that uses mathematical proofs to verify software across programming languages.

&Truth emerged from stealth with $70 million in seed capital and plans to build a universal verification machine for software, the company said in a press release. Founded in early 2026, the public benefit corporation is developing a system that reads code in any programming language and produces mathematical proofs that can be checked independently.

The company says its technology combines AI with proof automation to reduce verification work from months or years to hours or minutes. It is also building tools that translate business requirements and human instructions into formal specifications used to check code behavior across possible inputs.

The system builds on Lean, Mathlib, CSLib, and other open source technologies. &Truth plans to release its foundational libraries as open source and operates from headquarters in Palo Alto and Singapore. It was co-founded by Stanford computer science professor Clark Barrett, co-director of the Stanford Center for AI Safety, and Ilya Sergey of the National University of Singapore.

We hope you enjoyed this article

Consider subscribing to one of our newsletters like AI Policy Brief, AI Funding Brief or Daily AI Brief.

Also, consider following us on social media:

AI Safety & Regulation AI Funding News AI Brief AI Brief (X)
Free newsletter

AI Programming Weekly

Weekly news about AI tools for software engineers, AI enabled IDE's and much more.

Guide
AI app builders

AI app builders

Tools that turn a description into a working web or mobile app, and the platforms companies use to build internal tools with AI

Market report

2025 Generative AI in Professional Services Report

Thomson Reuters

This report by Thomson Reuters explores the integration and impact of generative AI technologies, such as ChatGPT and Microsoft Copilot, within the professional services sector. It highlights the growing adoption of GenAI tools across industries like legal, tax, accounting, and government, and discusses the challenges and opportunities these technologies present. The report also examines professionals' perceptions of GenAI and the need for strategic integration to maximize its value.

Read more

You may also like

Free, six days a week

Daily AI Brief: the AI news that matters, in your inbox.