Le gars qui a créé Scala vient de publier une méthode pour rendre les agents IA de façon prouvablement plus sûrs grâce au système de types. Les capacités suivies signifient que le code ne peut littéralement pas appeler un outil qui ne lui a jamais été remis. Ce n’est pas une simple barrière de sécurité que l’on peut contourner en la contournant par une requête : c’est une règle du compilateur.