3 Sep · Pendant que vous dormiez
Un théorème de 1951 dit qu’on ne prouvera jamais qu’une IA est honnête.
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.