Quando a AI prova teoremas: o que restará da profissão dos matemáticos

Google DeepMind e OpenAI criaram sistemas capazes de resolver problemas do nível da Olimpíada Internacional de Matemática e publicar pesquisas originais de nível PhD. A comunidade matemática agora enfrenta uma questão que parecia absurda há apenas cinco anos atrás: o que restará para as pessoas quando máquinas provam teoremas?

A IA Leva o Ouro Olímpico

No verão de 2024, sistemas do Google DeepMind e da OpenAI atingiram pela primeira vez o nível dos melhores estudantes de matemática do ensino médio do mundo, conquistando medalhas de ouro na Olimpíada Internacional de Matemática. Esta competição anual desafia os participantes a resolver seis problemas extremamente difíceis em tempo limitado, abrangendo vários campos—da teoria dos números à combinatória. O próximo passo foi um resultado ainda mais significativo: o sistema experimental Aletheia do DeepMind obteve independentemente resultados publicáveis de nível PhD em geometria aritmética.

O sistema da OpenAI refutou uma importante hipótese em geometria combinatória—um resultado digno de uma revista de matemática de destaque. Especialistas líderes chamaram isso de um marco: a IA demonstrou pensamento independente e original pela primeira vez, em vez de simplesmente reproduzir métodos conhecidos.

Em paralelo, sistemas LLM aprenderam a traduzir automaticamente provas humanas em código formal para ferramentas de verificação como Lean ou Isabelle. Este processo trabalhoso anteriormente levava meses de trabalho. O sistema Gauss formalizou independentemente em duas semanas uma prova do teorema de empacotamento de esferas em espaço 24-dimensional, pelo qual a matemática Marina Viazovska recebeu a Medalha Fields.

Três Posições e Pavor Existencial

No Fórum dos Laureados de Heidelberg em setembro de 2025, jovens matemáticos enfrentaram uma visão assustadora do futuro. O palco apresentava previsões sobre sistemas de IA sobre-humanos que formularão hipóteses, construirão provas e verificarão resultados sem participação humana. Yang-Hui He do Instituto de Ciências Matemáticas de Londres declarou: as pessoas correm o risco de se tornarem "sacerdotes atendendo oráculos." "Senti que todos ao meu redor estavam preocupados—eles simplesmente não tinham pensado tão longe. Foi como uma grande bomba," diz a matemática Jessica Randall do Google Developer Groups. "Começamos a perceber que a IA poderia nos substituir."

Três posições emergiram hoje na comunidade:

• IA como ferramenta: o entendimento permanece com humanos, IA é uma calculadora avançada
• IA como parceira: humanos e máquinas resolvem juntos tarefas inacessíveis para cada um individualmente
• IA como oráculo: o principal é obter uma resposta, não importa como ou por quem

O Medalista Fields Terence Tao, que conquistou ouro olímpico aos 11 anos, vê o futuro em "matemática em grande escala"—colaborações descentralizadas de larga escala onde pessoas assumem as partes criativas e a IA lida com a rotina técnica. "Cem anos atrás, quase todo artigo saía com um único autor. No futuro, talvez nem eu saiba: é uma pessoa ou IA."

Riscos: Motivação e Atrofia

A primeira ameaça é a motivação. Se a IA completa a maior parte da jornada independentemente, por que gastar anos em uma luta lenta e dolorosa em direção ao entendimento? O Medalista Fields Akshay Venkatesh de Princeton admite: "Houve momentos em que passei anos construindo lentamente em direção ao entendimento. Se um computador assume grandes partes deste trabalho—você terá a motivação para se imergir tão profundamente?" A segunda ameaça é a próxima geração. Estudantes que pulam a luta com um problema em favor de uma resposta rápida não constroem sua própria intuição matemática. Ao longo do tempo, matemáticos correm o risco de esquecer como pensar além das abordagens de IA nas quais foram treinados.

É por isso que a comunidade já está organizando workshops, escrevendo ensaios e desenvolvendo regras para o uso de IA em pesquisa e publicações.

"A matemática nos ensina a pensar logicamente e racionalmente—isso ajuda em todos os aspectos da vida," diz

Jessica Randall.

O Que Isso Significa

A IA não "suga a alma" da matemática—força os matemáticos a responder honestamente por que se envolvem nisso. Parece que a resposta não está em ser o primeiro a encontrar um resultado, mas no próprio caminho em direção ao entendimento—na alegria que nenhum algoritmo pode substituir ou automatizar.