Key Takeaways
- • &Truth, a public benefit corporation founded in early 2026 and headquartered in Palo Alto and Singapore, emerged from stealth with $70 million in seed capital from AI safety and venture capital leaders.
- • The company is building a universal verification machine intended to read code in any programming language and mathematically prove it is safe, secure, and correct, with proofs independently checkable by anyone.
- • &Truth claims its proof automation technology adds another 100x acceleration on top of the 100x or more AI already provides, reducing proof generation from years or months to hours or minutes.
- • Co-founders include Clark Barrett (Co-CEO, Stanford University), Ilya Sergey (Chief Science Officer, National University of Singapore) and Chris Hsu (Co-CEO and Executive Chairman, former Citadel Investment Group managing director).
- • The company plans to release its foundational libraries as open source and works with the Lean Focused Research Organization and the broader open-source community.
Summary
&Truth, a public benefit corporation, has emerged from stealth with a mission to establish a foundational standard for provably safe code, according to a Business Wire announcement dated October 29, 2026. The company is building a universal verification machine designed to read code in any programming language, mathematically prove that it is safe, secure, and correct, and produce proofs that anyone can independently check. The company was founded in early 2026 and was funded with $70 million of seed capital from a group of AI safety and venture capital leaders.
The company positions its technology against a growing problem: AI-generated code is being deployed faster than humans can review it, while AI-powered attackers increasingly exploit vulnerabilities in legacy software that underpins critical systems. According to the announcement, &Truth's approach combines AI-assisted proof generation with its own proof automation technology, which it says accelerates the process by a further 100x beyond the 100x or more that AI already provides. The company also describes a "specification factory" technology intended to translate human intent and business requirements into formal specifications at scale.
The company is building on Lean, an open-source proof system, and Mathlib, a mathematics library, along with open-source technologies including CSLib. Co-CEO Clark Barrett said that software has lacked an equivalent foundation to the one Lean and Mathlib provided for AI-assisted mathematics. Chief Science Officer Ilya Sergey said trust in software should rest on independently checkable proof. Chris Hsu, Co-Founder, Co-CEO and Executive Chairman, said that "even 99% safe is certainly broken" in the AI era.
&Truth has U.S. headquarters in Palo Alto and international headquarters in Singapore, and plans to expand its Singapore office significantly across research, engineering, product and go-to-market functions. Low Jin Yong, Senior Vice President and Co-Head of Digital Industry Singapore, said the company's Singapore headquarters would strengthen the city-state as a base for trusted AI solutions. The company works with the Lean Focused Research Organization and intends to release its foundational libraries as open source.
The company positions its technology against a growing problem: AI-generated code is being deployed faster than humans can review it, while AI-powered attackers increasingly exploit vulnerabilities in legacy software that underpins critical systems. According to the announcement, &Truth's approach combines AI-assisted proof generation with its own proof automation technology, which it says accelerates the process by a further 100x beyond the 100x or more that AI already provides. The company also describes a "specification factory" technology intended to translate human intent and business requirements into formal specifications at scale.
The company is building on Lean, an open-source proof system, and Mathlib, a mathematics library, along with open-source technologies including CSLib. Co-CEO Clark Barrett said that software has lacked an equivalent foundation to the one Lean and Mathlib provided for AI-assisted mathematics. Chief Science Officer Ilya Sergey said trust in software should rest on independently checkable proof. Chris Hsu, Co-Founder, Co-CEO and Executive Chairman, said that "even 99% safe is certainly broken" in the AI era.
&Truth has U.S. headquarters in Palo Alto and international headquarters in Singapore, and plans to expand its Singapore office significantly across research, engineering, product and go-to-market functions. Low Jin Yong, Senior Vice President and Co-Head of Digital Industry Singapore, said the company's Singapore headquarters would strengthen the city-state as a base for trusted AI solutions. The company works with the Lean Focused Research Organization and intends to release its foundational libraries as open source.
Go deeper than the headline
Research every firm in this story, track the ones that matter and get the daily briefing — free for 7 days.