&Truth, a formal-verification startup, announced a $70 million seed round on October 29, 2026, according to its launch announcement. WIRED reported that Nvidia's venture arm is among the investors.
The announcement named no lead and no individual backers, describing the funders only as AI-safety and venture-capital leaders.
Funding details
The company disclosed the round as it emerged from stealth. October 29 is the public announcement date rather than a verified legal closing date, and some trackers record October 30 or November 2.
WIRED's Paresh Dave identified Nvidia's venture-capital arm as an investor. His article does not say how much Nvidia contributed or whether it led the round.
Valuation, revenue and customer count were also withheld, an omission InfotechLead noted in its November 2 report. Caplight lists October 29 as the company's most recent recorded round.
Some aggregator pages tag Khosla Ventures, Nexus Venture and Premji Invest as investors. One of those pages states in its own text that the investors were unnamed, so none of the three can be treated as a confirmed participant.
What the company does
&Truth is a public benefit corporation, a legal structure that lets a company weigh a stated social purpose alongside profit. Its goal is to verify software code mathematically. According to a company blog post, the approach pairs AI agents, which propose specifications and proofs, with formal tools that check whether those proofs hold. The company works with Lean, a proof-assistant language, and said it has collaborated with the Lean Focused Research Organization since early 2026.
The company said it was founded in early 2026. Its mission statement, dated October 27, says Chris Hsu founded it with Clark Barrett and Ilya Sergey, building on Hsu's AI-safety work with Barrett at Stanford. Barrett's Stanford profile lists cvc5, an open-source SMT solver (software that checks whether logical constraints can be satisfied), among his projects. Sergey's website says he is on leave from the National University of Singapore to work at &Truth.
In an October 29 essay, Hsu wrote that the company chose the public-benefit structure deliberately, to set its AI-safety purpose beside business considerations.
Claims about how much the technology accelerates verification come from the company itself. No independent benchmark validating them could be located.
The &Atlas launch
On November 12, the company launched &Atlas, which it describes as a map of the global effort to verify all software with proofs. The figures in the release are company-reported and have not been independently audited. The release itself cautions that mapped lines are not verified lines.
The company's November 12 materials also warn that proving the wrong requirement can create false confidence. The &Atlas application is publicly reachable, though its live counters could not be independently inspected. The launch does not establish general availability of an enterprise verification service.
Customers and team
WIRED named Nvidia and Tensordyne as potential users evaluating the technology. That falls short of establishing paying customers or production deployments.
&Truth is headquartered in Palo Alto, California, with international headquarters in Singapore, and said engineering and product teams work in both places. The Singapore expansion covers research, engineering, product and go-to-market. The company disclosed no spending allocation or hiring target. Its careers page lists openings in product, forward-deployed engineering, developer experience and go-to-market, alongside formal methods and Lean.
A crowded field
The round arrives in a busy category. TechCrunch reported that Pramaana Labs raised a $27 million seed led by Khosla Ventures on June 17, 2026. According to VentureBeat, Theorem raised a $6 million seed, also led by Khosla, on January 27, 2026. Menlo Ventures announced a $200 million Series A for Axiom at a $1.6 billion post-money valuation in March 2026, a historical figure rather than a current valuation.
Anthropic said on October 22, 2026 that it worked with Theorem, using Claude to prove RISC-V assembly-level security properties in more than 100 real-world open-source libraries. Its post framed the guarantees around specified rules, not unrestricted software correctness.
What's next
Sergey announced Veil 2.0 on November 7, 2026, a release with Lean-based safety and liveness verification and tools for translating TLA+ specifications. It is an open-source ecosystem release, not a separate &Truth commercial launch. The company has not announced any later financing.
