L'IA écrit une part croissante des logiciels du monde. Personne ne vérifie formellement aucun d'eux. Nouvel essai : "Quand l'IA écrit les logiciels du monde, qui les vérifie ?"