Matemático teme que IA torne humanos obsoletos na pesquisa matemática em 2026

Steven Strogatz, matemático de 67 anos na Universidade Cornell, olha para 2026 e vê um ano que será lembrado como transformador — para melhor ou para pior — na história da matemática. A razão é simples: máquinas estão resolvendo problemas que ocuparam gerações de pesquisadores.

Em setembro, a OpenAI e a Anthropic anunciaram avanços que ilustram a velocidade dessa mudança. A Anthropic revelou que seu sistema Claude havia formalizado e provado 29,5 mil pequenos teoremas durante o trabalho de completar uma prova já conhecida do Último Teorema de Fermat, um projeto no qual matemáticos humanos trabalhavam há anos. No mês anterior, a OpenAI havia anunciado progressos em dez outros problemas matemáticos de longa data. Esses resultados não surgiram do nada — basearam-se em estratégias desenvolvidas pelos matemáticos espanhóis Diego Córdoba e Luis Martínez-Zoroa, embora a questão de quem merecia crédito pela descoberta tenha gerado disputa entre pesquisadores, incluindo Tristan Buckmaster, que argumenta que a OpenAI avançou sobre trabalho que ele desenvolvia com Levent Alpöge da Anthropic.

Para Strogatz, o que está acontecendo representa uma ruptura histórica. Ele é coautor de um livro chamado Big Math, escrito com Alex Townsend e com lançamento previsto para novembro, que explora como partes da matemática começam a escapar da compreensão humana. Townsend, ele próprio, recorreu ao ChatGPT para resolver um problema de álgebra linear numérica que permanecia em aberto há décadas — um trabalho que, sem a tecnologia, seria praticamente inviável em termos de custo e esforço. Mas essa vitória veio com um preço emocional. Townsend, em seu auge como pesquisador após 15 anos dedicados à matemática, expressou frustração ao ver uma máquina superar capacidades que ele havia desenvolvido ao longo de uma carreira inteira.

Strogatz descreve a matemática pura como sendo "devastada ou revolucionada, dependendo do ponto de vista". A inteligência artificial está respondendo justamente às perguntas que motivaram pesquisadores por gerações. Se o que importa é a resposta e não a jornada, então tudo está bem. Mas para muitos matemáticos, a jornada é o ponto.

Uma função que ainda permanece predominantemente humana é interpretar as provas que as máquinas produzem e transformá-las em explicações que outros humanos possam compreender. Strogatz, porém, não acredita que essa vantagem durará. Ele questiona se essa será a última resistência — se os humanos se tornarão simplesmente tradutores do que as máquinas fazem. Sua suspeita é que até essa habilidade será superada em breve.

O impacto vai além da pesquisa pura. Se sistemas de inteligência artificial chegarem primeiro às grandes descobertas, uma das motivações históricas que impulsionou pesquisadores desaparecerá. Strogatz oferece uma imagem perturbadora: não será possível nem aspirar a escalar as montanhas mais altas da matemática, porque as máquinas sempre chegarão primeiro. "Vamos perder todas as vezes."

Isso não significa que humanos deixarão de fazer matemática, compara Strogatz ao xadrez, onde computadores superam qualquer pessoa mas humanos continuam jogando. A diferença crucial é que transformar a matemática em um campo onde máquinas são sempre superiores teria consequências profissionais reais. Se a inteligência artificial estiver fazendo esse trabalho, não haverá necessidade de financiar matemáticos humanos para fazê-lo. As carreiras acadêmicas que dependem de descobertas originais estarão em risco.

Ao refletir sobre o ritmo das mudanças, Strogatz compara o momento a um filme de terror no qual sistemas que nem sequer são completamente compreendidos se aproximam progressivamente das capacidades humanas. "Mas ainda não chegamos ao fim do filme," disse. "Instintivamente, estou realmente apavorado." Para ele, a matemática pode estar funcionando como um primeiro teste do que outras profissões enfrentarão conforme a inteligência artificial avança. "Sinto que somos o primeiro campo de batalha, aqui na matemática, em que estamos à beira de perder a compreensão humana. Será que somos o canário na mina de carvão do que a humanidade vai enfrentar?"