El matemático canadiense Jacob Tsimerman, recientemente galardonado con la Medalla Fields, anunció la creación del Mathematical A.I. Safety Institute (MAISI). The Decoder informó al respecto en un artículo del 11 de septiembre 2026 de año.
El nombre de la iniciativa indica la intención de verificar la seguridad de la IA mediante enfoques comparables a la demostración de la resistencia de los códigos criptográficos. Sin embargo, la información disponible se presenta solo como metadatos y un breve sinopsis, por lo que los detalles del programa aún no están confirmados.
comentario editorial
Por qué importa
Valor probable de la iniciativa: reforzar métodos formales en la investigación de seguridad de la IA. La siguiente señal verificable será la publicación de una descripción de la metodología, la composición del equipo o los primeros resultados. Persisten incertidumbres sustanciales: los datos actuales no respaldan ni un programa específico ni la viabilidad práctica del enfoque.