Стартап &Truth хочет автоматизировать математическую проверку программ

Новый стартап &Truth присоединился к гонке за автоматизацию формальной верификации. Формальная верификация — трудоёмкий процесс, при котором с помощью математики доказывается, что программа работает так, как задумано. Как пишет Wired, этот метод может помочь решить проблемы «вайб-кодинга», то есть написания кода с помощью ИИ.