Quando a humanidade constrói ferramentas que superam sua própria compreensão, os guardiões da linguagem mais precisa do mundo — os matemáticos — são chamados a intervir. Jacob Tsimerman, recém-laureado com a Medalha Fields, abandonou a segurança da academia para fundar o Instituto de Segurança Matemática da IA (MAISI) na Baía de São Francisco, apostando que os problemas mais profundos da inteligência artificial são, em sua essência, problemas matemáticos ainda por resolver. É um gesto raro: o mais alto reconhecimento da matemática pura sendo convertido, deliberadamente, em responsabilidade apl