Les robots chirurgicaux se développent rapidement car la précision est non négociable dans le secteur de la santé. Mais à mesure qu'ils gagnent en autonomie, la vérification devient obligatoire. Aucun chirurgien ou régulateur ne peut se fier à un AI qui dit "faites-moi confiance". La preuve d'inférence est la pièce manquante.