&Truth — новый стартап, который включился в гонку по автоматизации формальной верификации программного обеспечения. Метод использует математические доказательства, чтобы проверить, соответствует ли работа программы заданным требованиям.
Формальная верификация требует значительных усилий: доказательства строятся для конкретных свойств кода и его поведения. Стартап намерен автоматизировать этот процесс на фоне распространения vibe coding — подхода к созданию программ с помощью запросов на естественном языке.
Автоматизация проверки может помочь выявлять несоответствия между ожидаемым и фактическим поведением программ. В исходном материале не приводятся подробности о продукте &Truth, сроках его запуска или привлечённом финансировании.