Pendant que vous dormiez
Un théorème de 1951 dit qu’on ne prouvera jamais qu’une IA est honnête.
Rédaction Capibara
Le théorème de Rice interdit toute vérification générale des propriétés d’un programme. Appliqué à l’alignement des IA, il prouve pourtant moins qu’on ne le croit.