Terence Tao na Cerimônia da Medalha Fields: Matemática Enfrenta uma Crise Centenária

No Congresso Internacional de Matemáticos (ICM) de 2026, imediatamente após o anúncio dos laureados com a Medalha Fields de 2026, Wang Hong e Deng Yu, Terence Tao, que recebeu o mesmo prêmio em 2006, proferiu uma palestra intitulada "A Matemática na Era da IA". Em vez de discutir se a IA pode lidar com a matemática, Tao propôs uma hipótese de trabalho: suponha que a IA em breve será capaz de resolver uma parte significativa dos problemas de pesquisa a um custo razoável. Citando o benchmark independente First Proof, onde sistemas de IA resolveram 7 dos 10 problemas em um nível publicável, ele enfatizou que isso permite deslocar a discussão para o reino dos valores. Tao invocou a lei de Goodhart: quando uma métrica se torna uma meta, ela deixa de ser uma boa métrica. Ele mostrou como a evolução dos objetivos na pesquisa matemática (resolução de problemas, verificação, exposição clara, aceitação pela comunidade, canonização) levará à "indigestão de provas" — uma transição de uma era de escassez de provas para uma era de abundância de provas. Tao pediu que se reduza o peso da "primeira solução" e se aumente a importância das etapas de "digestão": exposição, publicação e canonização. Ele endossou a Declaração de Leiden sobre IA e Matemática, que exige a divulgação do uso de IA, com os autores assumindo total responsabilidade pela correção. A regra estrita de Tao: se um autor não puder apresentar o trabalho oralmente de forma clara e especializada, ele não deve ser publicado. O próprio Tao reconheceu usar IA para preparar slides e pediu um diálogo aberto dentro da comunidade.