# &Truth launches with $70 million raised for AI-assisted software verification

_Published Thursday, October 29, 2026 at 11:22 AM EDT · Capital, AI, Security · Latest · Tier 2 — Notable_

![&Truth launches with $70 million raised for AI-assisted software verification — Primary](https://media.wired.com/photos/6ae296f756ee4dcb93f119e9/191:100/w_1280,c_limit/Business_Software%20Verification%20Is%20the%20Hot%20New%20Answer%20to%20the%20AI%20Safety%20Crisis_v1.jpg)

&Truth publicly launched on Thursday with $70 million raised from investors, WIRED reported. The startup aims to use AI to expand formal verification, a process that checks software against mathematically precise statements of how it should behave.

Research by Chuyue Sun, who joined &Truth in August, used AI to verify part of Signal's encryption code. She reported completing the project in less than half a day for under $500, compared with five months for three experts working manually. The technology remains at the prototyping stage, and verification depends on assumptions that may miss user errors or hardware failures.

## Sources

- [WIRED](https://www.wired.com/story/software-verification-is-the-hot-new-answer-to-the-ai-safety-crisis/)

---
Canonical: https://techandbusiness.org/newswire/Ca2Dv3yeQPL7y2hr8j67eI
Published: 2026-10-29T15:22:55.716Z
Story chronology: 2026-10-29T15:00:00.000Z
Retrieved: 2026-10-29T17:40:31.531Z
Publisher: Tech & Business (techandbusiness.org)