O matemático canadense Jacob Tsimerman, que recentemente recebeu a Medalha Fields, anunciou a criação do Mathematical A.I. Safety Institute (MAISI). A informação foi divulgada pelo The Decoder em matéria de 11 de setembro 2026 do ano.
O nome da iniciativa aponta para a intenção de verificar a segurança de IA por meio de métodos comparáveis à prova de resistência de códigos criptográficos. No entanto, as informações disponíveis são apresentadas apenas como metadados e uma sinopse curta, portanto os detalhes do programa ainda não foram confirmados.
comentário editorial
Por que importa
Provável significado da iniciativa — reforçar métodos formais na pesquisa de segurança de IA. O próximo sinal verificável será a publicação de uma descrição da metodologia, da equipe ou dos primeiros resultados. A incerteza substancial permanece: os dados atuais não confirmam nem um programa específico, nem a eficácia prática da abordagem.