On ne peut pas prouver que les turboréacteurs sont sûrs avant de les construire réellement et de les affiner soigneusement pour leur fiabilité. Il en va de même pour l'IA.