# &Truth launches AI startup focused on formal software verification

- Published: 2026-10-29T15:00:00.000Z
- Updated: 2026-10-29T22:10:48.432Z
- Section: Market
- Topics: Code, Research
- Page: https://aidailyjournal.com/en/n/2026/10/29/truth-launches-ai-startup-focused-on-formal-software-verification/
- Sources: [Wired](https://wired.com/story/software-verification-is-the-hot-new-answer-to-the-ai-safety-crisis)

## Summary

&Truth has publicly launched a startup focused on automating formal verification, a process that turns software requirements and code into mathematical formulas to validate behavior. A paper by Chuyue Sun and other Stanford researchers reported that an AI tool completed in less than half a day and for under $500 an engineering project that took three experts five months to do manually; the system was also used to verify part of the encryption code in Signal. &Truth has raised $70 million and aims to eventually support any programming language.

Harmonic also announced its Aristotle agent, which verifies software written in C and hardware designs in Verilog, while Anthropic and Theorem said they used AI to find bugs in open-source software that had gone undetected by trillions of tests. The technology remains at the prototype stage: experts note that it may not catch errors caused by users or hardware failures, and that exhaustive testing is still needed.

## Why it matters (editorial interpretation)

The initiative could reduce the time and cost of some formal-verification tasks, but the summary indicates that the technology is still at the prototype stage and does not replace exhaustive testing or necessarily cover failures caused by users or hardware. For now, that limits its use as a complete security guarantee.

_Summary written by AI Daily Journal in its own words, based on the sources above. For details, read the original articles._