L'avenir des logiciels est l'IA écrivant du code et l'IA vérifiant qu'il fonctionne