Le mathématicien canadien Jacob Tsimerman, récemment récipiendaire de la Médaille Fields, a annoncé la création du Mathematical A.I. Safety Institute (MAISI). The Decoder a rendu compte de cela dans son article du 11 septembre 2026 de l'année.
Le nom de l'initiative indique une volonté de vérifier la sécurité de l'IA par des approches comparables à la démonstration de la robustesse des codes cryptographiques. Cependant, les informations disponibles ne se présentent que sous forme de métadonnées et de synopse brève, de sorte que les détails du programme ne sont pas encore confirmés.
commentaire éditorial
Pourquoi c’est important
Valeur probable de l'initiative — renforcement des méthodes formelles dans la recherche sur la sécurité de l'IA. Le prochain signal vérifiable sera la publication d'une description de la méthodologie, de la composition de l'équipe ou des premiers résultats. Une grande incertitude persiste: les données actuelles ne confirment ni un programme spécifique ni l'efficacité pratique de l'approche.