&Truth стартапи дастурларни математика билан текширишни автоматлаштирмоқчи

&Truth номли янги стартап формал верификацияни автоматлаштириш пойгасига қўшилди. Формал верификация — дастурий таъминот мўлжаллангандек ишлашини математика ёрдамида исботлайдиган машаққатли жараён. Wired ёзишича, бу усул «vibe coding», яъни сунъий интеллект ёрдамида код ёзиш муаммоларини ҳал қилишга ёрдам бериши мумкин.