Les gens passent à côté de l'essentiel - Claude d'aujourd'hui a trouvé des problèmes critiques en quelques minutes. Quiconque demain qui fonctionnera pendant une semaine en trouvera davantage. Les bugs sont sans fin et le codage par IA en introduit encore plus. Le seul moyen d'arrêter cette course est la vérification formelle.