1/ Une inférence plus rapide réduit les coûts. L'autonomie augmente la surface d'attaque. La vérification devient une infrastructure. Certaines sorties semblent correctes. Certaines sorties sont prouvablement correctes. Cette distinction définira la prochaine génération de systèmes d'IA.