Wired 29. října 2026 popisuje startup &Truth, který se připojuje k závodu o automatizaci formální verifikace. Ta pomocí matematiky dokazuje, že software dělá, co má, a má zachránit vibe coding před jeho vlastními chybami.
Wired píše, že formální verifikace je pracný proces, při kterém se matematicky dokazuje správnost softwaru. Nový startup &Truth ji chce automatizovat.
Téma zapadá do rostoucích obav z bezpečnosti kódu generovaného AI. Podklady neobsahují detaily financování ani konkrétní produkt.
Proč by vás to mělo zajímat
Kód psaný agenty se dostává do produkce rychleji, než ho lidé stihnou prověřit. Při nasazování AI kódu zvažte automatizované ověřování správnosti jako další vrstvu kontroly.
