&Truth Emerges From Stealth, Pioneering the Universal Verification Machine for Code

PALO ALTO, Calif., & SINGAPORE, Oct 30 (Bernama) -- &Truth, a public benefit corporation, is establishing a foundational standard for provably safe code. The company 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.

As AI accelerates code generation and cyberattacks, proving whether software is safe has become increasingly urgent. Today, &Truth emerges from stealth to address this civilization-scale challenge. Founded in early 2026, &Truth was funded with $70 million of seed capital from a group of formative AI safety and venture capital leaders.