&Truth, a public benefit corporation developing technology to mathematically verify software safety and correctness, has emerged from stealth with $70 million in seed funding from investors associated with artificial intelligence safety and venture capital.
Founded in early 2026, the company is building what it describes as a universal verification machine capable of analyzing software written in different programming languages and generating independently checkable mathematical proofs.
The technology is intended to address growing concerns about software reliability as AI coding tools enable developers to generate and deploy increasingly large volumes of code.
Traditional software testing, monitoring, and code review can identify many defects but do not establish that a program will behave correctly under every possible condition.
Formal verification offers a different approach by using mathematical methods to establish whether software satisfies precisely defined requirements under stated assumptions.
Historically, applying these methods has required substantial expertise and manual effort, limiting their use to especially critical systems.
&Truth aims to make formal verification more accessible through AI-assisted proof generation and automation.
The company says advances in AI can accelerate aspects of the process by 100 times or more, with its own proof automation technologies providing additional improvements.
Its goal is to reduce certain verification tasks from months or years to hours or minutes.
&Truth is also developing specification factory technology that translates human requirements and business objectives into formal mathematical specifications.
These specifications establish the criteria against which software can be verified, creating a foundation for independently checking whether systems behave as intended.
The company’s work builds on open-source technologies including Lean, a proof assistant, and CSLib, a collection of mathematical and verification tools.
&Truth intends to develop formal models of programming languages and software systems that can support automated verification across different technologies.
Its research originates from decades of work in formal methods and automated reasoning at Stanford University and the National University of Singapore.
The company operates dual headquarters in Palo Alto, California, and Singapore.
Its leadership includes Co-Founder and Co-CEO Clark Barrett, a Stanford computer science professor and co-creator of the cvc5 automated reasoning engine.
Co-Founder and Chief Science Officer Ilya Sergey brings experience developing formal verification technologies at the National University of Singapore.
Chris Hsu serves as Co-Founder, Co-CEO, and Executive Chairman, bringing investment and technology leadership experience.
Additional team members include Gregory Malecha, Sebastian Ullrich, Linus Lee, and Drew Harman.
The company plans to expand its Singapore operations across research, engineering, product development, and commercial functions.
It is also collaborating with the Lean Focused Research Organization and the broader open-source community, with plans to release foundational verification libraries publicly.
&Truth envisions applications involving AI-generated software, legacy system modernization, cybersecurity, and critical infrastructure.
The $70 million investment will support development of its verification platform as the company works to make mathematical software assurance practical across a broader range of industries.
KEY QUOTES:
“AI transformed mathematics because Lean and Mathlib gave it a precise language for reasoning. Software has lacked an equivalent foundation. Once we can state precisely what code must do, AI can help prove that it does it, at a speed and scale previously out of reach.”
Clark Barrett, Co-Founder And Co-CEO Of &Truth
“Trust in software should rest on independently checkable proof, not any company’s word, including ours. Mathematical proof can establish that code meets precise requirements across all possible inputs, under clearly stated assumptions. Our mission is to bring that level of trust to the world’s software.”
Ilya Sergey, Co-Founder And Chief Science Officer Of &Truth
“AI is now breaking code at superhuman speed. ‘Good enough’ is no longer enough. In the AI era, even 99% safe is certainly broken. We must move from hoping code works to proving it does.”
Chris Hsu, Co-Founder, Co-CEO And Executive Chairman Of &Truth
“As AI adoption scales, trust and safety will become increasingly important to how companies can deploy AI with confidence. &Truth’s international headquarters in Singapore will deepen our capabilities in this area, while strengthening Singapore as a base for companies to develop trusted AI solutions.”
Low Jin Yong, Senior Vice President And Co-Head Of Digital Industry Singapore
