Startup &Truth wkracza na rynek automatyzacji formalnej weryfikacji, zaawansowanego procesu matematycznego, który ma na celu udowodnienie poprawności działania oprogramowania. Formalna weryfikacja to jeden z najbardziej wyczerpujących aspektów inżynierii oprogramowania - wymaga ścisłych dowodów matematycznych, że kod behaves dokładnie jak powinien, bez nieoczekiwanych błędów czy luk bezpieczeństwa.
W dobie vibe coding i generatywnych modeli AI, które mogą szybko tworzyć kod bez pełnego zrozumienia logiki, formalna weryfikacja staje się coraz bardziej krytyczna. Tradycyjnie ten proces wymagał godzin pracy specjalistów i głębokich umiejętności matematycznych. &Truth i inne startups konkurują o to, by uczynić ten proces bardziej zautomatyzowanym i dostępnym, zmniejszając czas i koszty związane z weryfikacją.
Automatyzacja formalnej weryfikacji mogłaby być przełomem dla całej branży, szczególnie dla systemów krytycznych dla bezpieczeństwa - takich jak oprogramowanie medyczne, samochody autonomiczne czy infrastruktura finansowa. Jeśli się powiedzie, mogłaby poskromić chaotyczność szybko deployowanego kodu AI i zagwarantować, że nawet kod wygenerowany przez modele duży znowu będzie bezpieczny i niezawodny.