&Truth, a public benefit corporation building tools to mathematically prove that software is safe, said on 29 October 2026 that it was funded with $70 million of seed capital and emerged from stealth. It named its backers only as “a group of formative AI safety and venture capital leaders”.
By our arithmetic, the $70 million seed is about 2.6 times the $27 million seed Pramaana Labs raised in June, and more than twice that round and VerifAIX’s $5 million seed combined.
Short explainer · &Truth Raises $70M to Prove Code Safe
A vertical news Short narrated from this piece’s headline and opening line.
Business Pill · The Model and the Harness
A short explainer on the difference between an AI model and the harness around it. It teaches the general idea only and does not discuss &Truth or this round.
The key insight: As we read the release, &Truth is pricing verification as a seed-stage infrastructure bet: $70 million to build tools that prove code meets a stated specification, rather than testing it, with the company itself saying testing and review “cannot guarantee that software behaves as intended”.
According to its release, &Truth is building “a universal verification machine to read code in any programming language and mathematically prove that it is safe, secure, and correct, with proofs that anyone can independently check.” Wired covered the launch as part of a wave of startups betting on AI to make formal verification practical, according to Techmeme’s summary of the report.
The company says formal verification “has existed for decades but was previously inaccessible and expensive”. It claims that AI now accelerates proof work “by 100x or more” and that its own proof automation adds “another 100x”. Those speed-ups are the company’s claims; the release gives no benchmark.
&Truth says it is building on Lean, an open-source proof system, and on open-source projects including CSLib, works with the Lean Focused Research Organization, and “intends to release its foundational libraries as open source”.
Disclosed 2026 rounds for startups using AI for verification: Axiom $200M Series A (SiliconANGLE, 12 Mar), &Truth $70M seed (&Truth, 29 Oct), Pramaana Labs $27M seed (TechCrunch, 17 Jun), VerifAIX $5M seed (Pulse 2.0, 15 Sep). 2.6x = $70M / $27M, our arithmetic. Not a complete list of rounds.
Who Is Behind It
The release names three co-founders: Clark Barrett, co-CEO and the Corbel Professor of Computer Science at Stanford; Ilya Sergey, chief science officer and founder of the VERSE Lab at the National University of Singapore; and Chris Hsu, co-CEO and executive chairman, previously chief executive of Kilometre Capital. The company has its U.S. headquarters in Palo Alto and its international headquarters in Singapore.
Barrett said: “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.”
Hsu said: “In the AI era, even 99% safe is certainly broken”. Sergey said trust in software “should rest on independently checkable proof, not any company’s word, including ours”.
How the Round Compares
Other startups applying AI to verification have raised money this year. TechCrunch reported in June that Pramaana Labs raised a $27 million seed round from Khosla Ventures. Pulse 2.0 reported in September that VerifAIX, which checks AI-generated chip designs, raised a $5 million seed. SiliconANGLE reported in March that Axiom raised a $200 million Series A at a $1.6 billion valuation.
By our arithmetic, &Truth’s seed is about 2.6 times Pramaana’s, about 35% of Axiom’s Series A, and about 4.1 times the $17 million seed a16z backed for Dream, described as an AI architect of record, which we covered earlier today. These are the rounds we could source; the list is not complete.
By our arithmetic, the $70 million seed is about 2.6 times Pramaana Labs’ $27 million seed in June and about 35% of the $200 million Series A Axiom raised in March, as those rounds were reported.
As we read it, the release puts specifications at the centre: its “specification factory” is meant to turn requirements into formal specifications, the step a proof needs before AI can check code against it.
As the release puts it, “AI-generated code is being deployed faster than people can review it”; the company says proof automation is how it plans to keep pace, and gives no benchmark for its 100x claims.
Ilya Sergey, Co-Founder and Chief Science Officer, &Truth, 29 October 2026
“Trust in software should rest on independently checkable proof, not any company’s word, including ours”
Three Implications
FOR DEVELOPERS &Truth says it intends to release its foundational libraries as open source and builds on Lean and CSLib.
FOR INVESTORS The company names its backers only as a group of AI safety and venture capital leaders, and discloses no valuation.
FOR SECURITY TEAMS The release says testing, monitoring and code review remain essential but cannot guarantee that software behaves as intended.
The framework argues: “Universal harnesses are likely to dominate highly digital, modular, and verifiable work.”
As we read it, &Truth’s bet is on the verifiable part of that sentence: proofs that make AI-written code checkable. The framework does not discuss &Truth or formal verification startups.
What Is Not Established
&Truth did not name its investors, disclose a valuation or say how the $70 million was split. The release gives no customers and no product release date. The 100x speed-up figures are the company’s own and are not independently tested. The comparisons with other rounds are our arithmetic from the figures each outlet reported.
This Week In The AI Supercycle
Execution Fault Lines, Concentrated Demand, and Geopolitical Firewalls
This week’s issue: the AI build is not short of demand for its parts. It is short of cheap money, and its end revenue rests on a narrow base of large, often venture-funded buyers.
&Truth, a company co-founded by Stanford’s Clark Barrett, NUS’s Ilya Sergey and former Kilometre Capital CEO Chris Hsu, says it raised $70 million of seed capital to build tools that mathematically prove code is safe. By our arithmetic, the seed is about 2.6 times Pramaana Labs’ $27 million seed in June.
A note on sourcing. Company facts and quotations are from &Truth’s release of 29 October 2026. Wired’s coverage is cited via Techmeme’s summary. Other funding rounds are as reported by TechCrunch, Pulse 2.0 and SiliconANGLE. The multiples are our arithmetic.
Gennaro Cuofano is a CRO and tech executive who has worked in AI since late 2015, starting with bringing NLP, natural-language generation, voice and chatbot products to the marketing industry. His background is in law and finance: he holds a Master's degree in Law and an International MBA with an emphasis on corporate finance (LUISS Business School and the University of San Diego, 2012), and worked as a financial analyst at a real-estate investment firm in San Diego and as an assistant controller. His work focuses on business model strategy, business engineering and, more broadly, structural analysis: how companies make money, read from their own filings. He created FourWeekMBA and leads research there and at The Business Engineer, his newsletter on AI and business strategy, with over 95,000 subscribers and more than 1,000 published analyses. His writing has also appeared on Entrepreneur (for example, How to Digitize a Family Business in Europe) and HackerNoon. Find him on LinkedIn and Substack. See how we source.
