Terence Tao apresenta visão da matemática na era da IA e aponta que humanos devem focar na compreensão em vez de apenas criar provas
Terence Tao, matemático laureado com a Fields Medal, publica artigo analisando os rumos da matemática com a chegada da IA
O meio acadêmico e o site Hacker News repercutem o artigo "Mathematics in the age of AI" (arXiv:2608.16753) de Terence Tao, matemático ganhador da Fields Medal, desenvolvido a partir de sua palestra pública no Congresso Internacional de Matemáticos (ICM 2026).
No artigo, Tao muda o foco do debate sobre se a IA alcançará a capacidade humana para questionamentos profundos sobre o objetivo e o valor real da pesquisa matemática, agora que as ferramentas de inteligência aprimoradas começam a resolver problemas em nível de pesquisa.
Sua principal proposta é que a comunidade matemática desloque o foco da "Geração de Provas" (algo que a IA faz rapidamente) para a "Digestão de Provas" (compreensão, clareza explicativa e verificação humana). Ele também sugere que nenhum trabalho de pesquisa seja aceito ou publicado se o autor não puder explicar a prova em nível especializado para outros humanos compreenderem — mesmo que a prova já tenha passado por verificação formal automatizada.
Reflete a visão de um especialista global sobre a adaptação do meio acadêmico e educacional diante da transformação dos processos de trabalho fundamentais pela IA, servindo de inspiração para a preparação de profissionais de ciência e tecnologia.