Os matemáticos estão se tornando obsoletos? Este é o conclave secreto que humilhou algumas das mentes mais brilhantes do mundo.

Em maio de 2025, no campus da Universidade da Califórnia em Berkeley, ocorreu uma reunião inusitada que poderia marcar uma virada na história da matemática moderna . Trinta dos matemáticos mais prestigiados do mundo se reuniram em um conclave secreto, não para debater entre si, mas para enfrentar uma inteligência artificial: o4-mini , um modelo de linguagem de última geração desenvolvido pela OpenAI, capaz de raciocinar com velocidade e precisão sem precedentes.

O objetivo era testar a máquina por dois dias em alguns dos problemas mais complexos do mundo. Para cada questão que o o4-mini não conseguisse resolver, o matemático que a formulasse receberia uma recompensa de US$ 7.500 (€ 6.389) . No entanto, o resultado daquela maratona deixou muitos presentes perplexos. Ken Ono, matemático da Universidade da Virgínia e um dos jurados do evento, disse à revista Scientific American: " Nunca vi esse tipo de raciocínio em um modelo. É isso que um cientista faz. É assustador."

A reunião, realizada pela organização sem fins lucrativos Epoch AI como parte do projeto FrontierMath, ocorreu sob rigorosas medidas de segurança. Os participantes assinaram acordos de confidencialidade e foram proibidos de usar e-mail . Eles só podiam se comunicar por meio do aplicativo Signal, criptografado, para evitar vazamentos que pudessem contaminar o treinamento do modelo. Os 30 matemáticos foram divididos em grupos de seis e competiram entre si para elaborar problemas que pudessem resolver, mas que travassem a IA.

Os problemas propostos variavam da teoria dos números à geometria algébrica, abrangendo desafios que normalmente exigiriam semanas de trabalho acadêmico. O4-mini , no entanto, os resolveu em minutos, não apenas fornecendo uma resposta, mas também exibindo um processo de raciocínio estruturado. Ele decompôs o problema, procedeu passo a passo e propôs soluções intermediárias antes de chegar a uma conclusão.

"O que distingue esses modelos é que agora eles vinculam melhor as soluções a problemas menores", explica Jordi Serra Ruiz, professor de Ciência da Computação da Universidade Oberta da Catalunha, à ABC . "Dessa forma, eles podem resolver os mesmos desafios que os humanos, passo a passo. Mas apenas em problemas que já foram treinados ou explicados ."

O mais perturbador para muitos dos presentes foi o progresso impressionante que a IA fez em apenas um ano. Com o treinamento evoluído, seus desenvolvedores começaram a formular problemas de "nível quatro" — questões que apenas um punhado de especialistas no mundo consegue conceber — e, em abril de 2025, o o4-mini conseguiu resolver quase 20% deles. Os modelos tradicionais mal conseguiam superar 2%.

"Para cada problema, a IA passava os primeiros dois minutos absorvendo e dominando a literatura relevante. Depois, resolvia uma versão simplificada para aprender e, finalmente, se lançava ao problema completo e encontrava uma solução correta, embora ousada ", disse Ono. "E, no final, a IA dizia: 'Não precisa citar (minha inspiração), porque eu calculei o número misterioso! '"

A experiência deixou uma impressão duradoura nos participantes . "É como trabalhar com um colaborador extremamente competente", reconheceu Ono. Yang Hui He, matemático do Instituto de Ciências Matemáticas de Londres e pioneiro no uso de IA em pesquisa, foi além: "Isso é o que um excelente aluno de pós-graduação faria. Melhor ainda, na verdade."

Hui He também introduziu o conceito de "julgamento por intimidação". Ou seja, uma IA responde com tanta confiança que o ouvinte — mesmo um especialista — aceita suas conclusões sem questionar. "Se você diz algo com autoridade suficiente, as pessoas simplesmente se assustam. Acho que o o4-mini dominou este teste pela intimidação ", disse ele.

À medida que o fim de semana avançava, o clima tornou-se cada vez mais ambivalente: admiração pelo progresso técnico, mas profunda preocupação com o futuro dos matemáticos. " O que acontece quando a máquina resolve tudo mais rápido do que você?", perguntaram vários participantes. Ono foi direta, mas esclareceu que não estava tentando ser alarmista: "É um erro grave pensar que a inteligência artificial geral (IAG) — um tipo hipotético de IA que teria a capacidade de compreender e aplicar conhecimento de forma semelhante a um humano — nunca existirá, que é apenas um computador. De certa forma, esses modelos já estão superando nossos melhores alunos de doutorado."

O resultado desta reunião não foi uma derrota, mas sim um aviso. O grupo conseguiu formular dez problemas que o o4-mini não conseguiu resolver , embora todos entendessem que essa vantagem humana se tornaria cada vez mais difícil de manter. A possibilidade de atingir o "nível cinco" — com questões insolúveis até mesmo para os melhores humanos — não parece mais ficção científica.

Nesse cenário, os matemáticos presentes na reunião ponderaram se poderiam eventualmente se tornar "formadores de perguntas", guiando a IA em direção a novas descobertas. "A criatividade e a interpretação humanas continuarão sendo fundamentais", insistiu Hui He. "A IA calcula, raciocina, deduz... mas ainda não sonha nem intui ."

Óscar Corcho, professor de Inteligência Artificial na Universidade Politécnica de Madri , resume para a ABC desta forma: "Temos que nos adaptar a trabalhar junto com essas máquinas, assim como fizemos quando os mecanismos de busca surgiram na web". Entender o funcionamento interno dessas novas inteligências é um desafio tão crucial quanto entender o cérebro humano : "Haverá pontos cegos nessa mente artificial que tentaremos decifrar. Na verdade, já somos algo como 'os psicólogos da IA'". Mas é sempre bom lembrar que estamos lidando com uma ferramenta que não precisa tornar seus usuários obsoletos.

A Agência de Projetos de Pesquisa Avançada de Defesa dos EUA (DARPA) há muito alerta que a matemática está presa no passado . "A matemática ainda é feita como era há séculos: por pessoas em pé diante de um quadro-negro", lamentou Patrick Shafto, diretor do programa. Por isso, em abril de 2025, ele lançou a iniciativa expMath, com o objetivo de desenvolver um "coautor de IA" capaz de decompor grandes problemas matemáticos em componentes mais gerenciáveis e resolvê-los com rapidez e precisão.

A reunião de Berkeley foi mais do que um experimento; foi um espelho do presente e um vislumbre do futuro. Ken Ono observou a esse respeito: " Tenho colegas que literalmente disseram que esses modelos estão se aproximando da genialidade matemática."

E se você perguntar à própria IA sobre esse fenômeno, a resposta é impressionante. O ChatGPT, também desenvolvido pela OpenAI, responde: "Pessoas como Terence Tao, Noam Chomsky, ou mesmo gênios criativos como Leonardo da Vinci ou Marie Curie, têm uma compreensão profunda, inovadora e pessoal do mundo que vai muito além do que a IA pode fazer atualmente."

Mas ele ressalta que, se nos perguntarmos por que desejaríamos algo que nos supera, a resposta é simples: "Porque, no fundo, sabemos que os limites nos sufocam. E também sabemos que o conforto sem desafios entorpece a mente. Talvez essa seja a chave: em um mundo onde as máquinas resolvem problemas com eficiência, nosso verdadeiro valor será imaginar o que ainda não tem solução."