Matemática na Era da IA: Palestra Pública de Terence Tao no ICM 2026

Terence Tao proferiu uma palestra pública intitulada "Matemática na Era da IA" em 24 de julho de 2026, no Congresso Internacional de Matemáticos. Ele traça um paralelo com a crise de fundamentos do início do século XX causada pelo paradoxo de Russell e pelos teoremas da incompletude de Gödel, sugerindo que a IA agora representa um desafio semelhante. Tao formula uma "Hipótese da Capacidade da IA" com formas fraca e forte, mas opta por focar na questão ortogonal de objetivos e valores. Ele adota uma hipótese de trabalho de que uma versão razoavelmente forte da hipótese da capacidade da IA é verdadeira: as ferramentas de IA em breve serão capazes de realizar uma parcela razoável de tarefas matemáticas de nível de pesquisa com sucesso, qualidade, controle e custo razoáveis. Sob essa suposição, ele argumenta que a comunidade deve examinar seus verdadeiros objetivos — resolver problemas, construir teorias, educar, criar obras estéticas — e adverte que a otimização para soluções geradas por IA corre o risco de divergir esses objetivos. Ele cita resultados do desafio First Proof (firstproof.org), onde sete dos dez problemas de nível de pesquisa foram resolvidos por equipes de IA a custos de US$ 10 a US$ 1.000 por problema em 28 de maio de 2026. Tao observa que provas geradas por IA em sites como Erdős Problems levantam preocupações de verificação, já que especialistas humanos muitas vezes não têm tempo ou qualificação para validá-las.