&Truth, a Palo Alto, California-based software verification startup, announced $70 million in seed funding on October 29, 2026, as it emerged from stealth. The public benefit corporation received the capital from a group of AI safety and venture capital investors whose individual identities were not disclosed.
Founded in early 2026 by Clark Barrett, Ilya Sergey and Chris Hsu, &Truth is developing technology designed to mathematically verify the safety, security and correctness of software across programming languages.
The company’s central project is a universal verification machine that aims to analyse software code and generate mathematical proofs demonstrating that it satisfies precisely defined requirements. These proofs are intended to be independently checkable, allowing developers and organisations to evaluate software properties under stated assumptions.
&Truth is also developing a technology it calls a specification factory, designed to translate human instructions and business requirements into formal mathematical specifications. These specifications establish the conditions against which software can be verified.
The company’s approach combines AI-assisted proof generation with automated formal verification. Its technology builds on Lean, an open-source proof system, and related projects including CSLib. &Truth works with the Lean Focused Research Organization and plans to release its foundational libraries as open source.
Clark Barrett serves as Co-Founder and Co-CEO and is a computer science professor at Stanford University, where he directs the Stanford Center for Automated Reasoning. Ilya Sergey is Co-Founder and Chief Science Officer and leads the Verified Systems Engineering Lab at the National University of Singapore. Chris Hsu serves as Co-Founder, Co-CEO and Executive Chairman.
The broader team includes Gregory Malecha, Sebastian Ullrich, Linus Lee and Drew Harman, bringing experience in formal methods, software engineering and enterprise technology.
&Truth maintains its US headquarters in Palo Alto and its international headquarters in Singapore. The company plans to expand its Singapore operations across research, engineering, product development and commercial functions while collaborating with local institutions and industry partners on AI safety and software verification.
