&Truth Raises $70M Seed

&Truth, a public benefit corporation based in Palo Alto and Singapore, emerged from stealth on October 29, 2026, announcing $70 million in seed funding. The company develops technology designed to mathematically prove that software is safe, secure, and correct by building a universal verification machine for code.

Investors

The company raised its seed capital from a group of formative AI safety and venture capital leaders, though the article does not name specific participating firms.

&Truth Use of Funds

&Truth plans to use the capital to build its universal verification machine, which utilizes AI-accelerated formal proof work to verify software code in any programming language. The funding will also support the expansion of its research, engineering, product, and go-to-market teams across its dual headquarters.

About &Truth

Founded in early 2026 by Clark Barrett, Ilya Sergey, and Chris Hsu, &Truth aims to shift the software industry from vibe-coding to veri-coding. The company develops proof automation and specification technology built on the Lean open-source proof system and the Mathlib library to enable independently checkable mathematical guarantees for software.

Funding Details

Company Website: https://andtruth.com

Company: &Truth
Raised: $70M
Round: Seed
Funding Date: October 2026
Company Website: https://andtruth.com
Software Category: Software Security and Formal Verification
Source: https://www.unite.ai/and-truth-raises-70m-seed-to-build-universal-verification-machine-for-code/