Terence Tao, o matemático da UCLA amplamente considerado como a figura viva mais influente nesta área, publicou um ensaio argumentando que a inteligência artificial está a empurrar a matemática para um período de turbulência comparável à crise fundamental que remodelou a disciplina há um século. O artigo, "Matemática na era da IA", apareceu no arXiv em 17 de agosto e é baseado em uma palestra pública que Tao proferiu no Congresso Internacional de Matemáticos de 2026.
O ensaio rapidamente se tornou um dos textos científicos mais discutidos da semana entre pesquisadores e engenheiros, atraindo grande público em fóruns como o Hacker News. Para uma área que passou os últimos três anos debatendo se a IA pode realmente fazer matemática em nível de pesquisa, o argumento de Tao muda completamente a questão.
Uma crise de valores, não de verdade
O enquadramento histórico de Tao é deliberado. Entre aproximadamente 1900 e 1930, a matemática foi abalada pelo paradoxo de Russell em 1901 e pelos teoremas da incompletude de Gödel em 1931 – descobertas que forçaram os matemáticos a abandonar suposições informais e a construir os fundamentos explícitos e rigorosos sobre os quais o assunto ainda hoje se baseia. Essa turbulência, argumenta ele, acabou fortalecendo a matemática.
O paralelo que ele traça é preciso: o que está a ser testado agora não é o enquadramento matemático para a verdade, mas o seu “quadro largamente implícito de valores e práticas matemáticas” – o que a comunidade considera ser uma contribuição, o que recompensa, o que considera como compreendido, e quem, ou o que, considera como tendo feito o trabalho. Tal como a última crise forçou o implícito a tornar-se explícito, Tao argumenta que esta irá forçar os matemáticos a codificar objetivos que nunca tiveram de ser escritos.
Ignorando o debate sobre capacidades
A escolha estrutural mais surpreendente do ensaio é que ele se recusa a discutir se a IA pode fazer matemática. Em vez disso, Tao condiciona a hipótese de que chegarão ferramentas de IA capazes de tarefas matemáticas de nível de pesquisa e trata tudo o que está a jusante dessa suposição como o problema real. Ele chama isso de “Questão de Resposta da Comunidade”: como a comunidade matemática deveria responder, e não se as capacidades são reais.
É um movimento deliberadamente ortogonal. Os debates sobre a capacidade do modelo, segundo Tao, são insolúveis em termos abstratos e irrelevantes. As questões urgentes – para que serve a matemática e o que os seus praticantes realmente valorizam – exigiriam respostas mesmo que o progresso da IA estagnasse amanhã.
Escassez de provas, abundância de provas e lei de Goodhart
No centro do ensaio está um estudo de caso sobre resolução de problemas, o componente da prática matemática mais diretamente ameaçado pela automação. Tao examina o que acontece quando o campo passa de uma economia de escassez de provas – onde as provas originais e verificadas são raras e preciosas – para uma economia de abundância de provas, onde os argumentos gerados por máquinas são baratos e abundantes.
Sua lista de palavras-chave sinaliza o terreno que ele cobre: formalização, assistentes de prova, revisão por pares, lei de Goodhart. Este último item – o princípio de que uma medida deixa de ser uma boa medida quando se torna uma meta – é recorrente em todo o processo. Contagens de publicações, resultados de competições e proveniência de teoremas serviram como substitutos para a contribuição matemática. Num mundo onde a IA pode aumentar essas proxies em grande escala, a comunidade terá de recompensar o que realmente valoriza, em vez do que historicamente tem sido capaz de contar.
O ensaio termina com recomendações e um levantamento de fluxos de trabalho emergentes - incluindo ambientes de prova formal do tipo que o próprio Tao defendeu em experiências com matemática formalmente verificada e assistida por IA - juntamente com um reconhecimento sincero de que a resposta da comunidade evoluirá à medida que a tecnologia evolui.
Por que um ensaio de matemática é importante fora da matemática
Tao é uma figura incomum: um medalhista Fields que passou anos trabalhando diretamente com assistentes de prova e ferramentas de IA, em vez de comentar sobre eles à distância. Esse envolvimento prático dá ao ensaio um peso que vai além da matemática pura, porque quase todas as disciplinas de pesquisa enfrentam a mesma inversão que ele descreve. A revisão por pares, a autoria, o crédito e a definição de uma contribuição estão sob a mesma pressão na física, na biologia e na ciência da computação – campos que carecem da vantagem centenária da matemática em tornar os seus fundamentos explícitos.
A recepção até agora sugere que o argumento deu certo. Os tópicos de discussão centraram-se no enquadramento da escassez-abundância de Tao como uma lente útil para a academia em geral, com especial atenção ao seu argumento de que a crise de valores, ao contrário da crise das fundações, não pode ser resolvida por um pequeno grupo de lógicos. Terá de ser elaborado por toda a comunidade – jornais, comissões de contratação, entidades financiadoras e matemáticos cujas carreiras são construídas sobre normas implícitas agora sob pressão.
A conclusão de Tao é, em última análise, construtiva e não alarmante. A crise fundamental produziu uma estrutura confiável que sobreviveu a um século de testes. Um exame minucioso e honesto daquilo que a matemática realmente valoriza, argumenta ele, poderia deixar a disciplina mais forte e mais resiliente do que antes - desde que a comunidade faça o trabalho de tornar explícitas as suas regras não escritas antes que as circunstâncias façam a escolha por elas.
---
Fique à frente da IAReceba as últimas notícias, análises e avanços sobre IA — tudo em um só lugar.
Leia mais notícias sobre IA →
