Press

After Reinventing Mathematics, Can A.I. Eradicate Computer Bugs?

by The New York TimesOctober 29, 2026

Using the same techniques that allowed A.I. technologies to crack a million-dollar math problem, researchers are building new systems that aim to solve the world’s cybersecurity crisis.

An in-progress “software verification” of a large codebase, demonstrated at the headquarters of the start-up &Truth in Palo Alto, Calif. Photo: Kelsey McClellan for The New York Times

&Truth Emerges From Stealth

by &TruthOctober 29, 2026

The foundation for a trustworthy AI future: provably safe code, mathematically guaranteed.