Lidé přehlížejí hlavní pointu – dnešní Claude během pár minut našel zásadní problémy. Kdokoli, kdo zítra běží týden, najde další informace. Chyby jsou nekonečné a AI programování přináší další. Jediný způsob, jak tuto honičku zastavit, je formální ověření.