A velocidade a que a inteligência artificial está a ganhar capacidade matemática apanhou muitos de surpresa. Como notou a New Scientist, num artigo, o “novo” mundo está a reescrever o que significa ser matemático.
Em março de 2025, o matemático Daniel Litt fez uma aposta. Apesar da marcha do progresso da inteligência artificial em muitos campos, acreditava que a sua disciplina estava segura, apostando com um colega que havia apenas 25% de probabilidade de uma IA conseguir escrever um artigo matemático ao nível dos melhores matemáticos humanos até 2030.
Apenas um ano depois, pensa que estava errado. “Agora espero perder esta aposta”, declarou, citado pela New Scientist.
Os matemáticos estão cada vez mais surpreendidos com a rapidez das melhorias na capacidade da IA para resolver problemas e produzir demonstrações.
“Há um par de anos, eram basicamente inúteis até para resolver problemas de matemática do ensino secundário, e agora conseguem por vezes resolver problemas que realmente aparecem na vida de investigação de um matemático”, diz Litt, da Universidade de Toronto.
O jogo mudou e este progresso é mais rápido do que muitos tinham previsto, com matemáticos a avisar que a sua profissão está a atravessar uma das evoluções mais rápidas que o campo alguma vez viu.
“Estamos a ficar sem lugares onde nos esconder. Temos de enfrentar o facto de que a IA em breve será capaz de demonstrar teoremas melhor do que nós”, escreveu Jeremy Avigad, da Universidade Carnegie Mellon, na Pensilvânia, num ensaio recente, que a mesma revista cita.
Empresas como a OpenAI e a Google DeepMind já alcançaram desempenhos de medalha de ouro na Olimpíada Internacional de Matemática, uma competição de elite para estudantes do ensino secundário que muitos especialistas tinham anteriormente considerado estar para além do alcance das ferramentas de IA.
A IA começou a enfrentar matemática mais complexa, resolvendo problemas reais de investigação e ajudando a verificar automaticamente demonstrações de ponta, o que tradicionalmente poderia exigir uma enorme quantidade de trabalho por parte de equipas de matemáticos.
“As coisas mudaram muito depressa”, afirma Thang Luong, da Google DeepMind.
A empresa de IA Math, Inc. surpreendeu recentemente os matemáticos ao anunciar que a sua ferramenta de IA, chamada Gauss, tinha formalizado uma demonstração premiada e verificado que estava correta. A demonstração dizia respeito a quantas esferas podem ser empacotadas num espaço e foi o tema da medalha Fields de Maryna Viazovska em 2022, muitas vezes chamada o Nobel da matemática.
Como detalha a New Scientist, o esforço para formalizar o trabalho de Viazovska começou com um pequeno grupo de matemáticos no final de 2024, a trabalhar separadamente da Math, Inc., liderado por Sidharth Hariharan, da Universidade Carnegie Mellon, que esperava traduzir manualmente o problema para código informático. Primeiro analisaram a solução de empacotamento de esferas de Viazovska em oito dimensões. Enquanto faziam progressos constantes, a Math, Inc., que mais tarde tinha prestado assistência aos investigadores, anunciou que já tinha uma demonstração completa e, depois, uma versão mais geral de um resultado para 24 dimensões.
Uma nova era de matemáticos
“O futuro em que todos estamos a pensar é que teremos ferramentas que irão formalizar automaticamente novas investigações e artigos matemáticos, e assinalar se existem erros ou não. Isto terá enormes implicações para, por exemplo, a revisão por pares e o trabalho de avaliação”, disse Johan Commelin, da Universidade de Utrecht, nos Países Baixos.
Perante um futuro em que uma parcela crescente da matemática é feita por IA, alguns matemáticos, como Avigad, estão a dar o alarme sobre os efeitos prejudiciais que isto poderá ter na nossa capacidade de praticar e criar nova matemática.
Os matemáticos continuam, ainda assim, esperançosos de que haverá um lugar para eles num futuro cada vez mais liderado por máquinas.
Olhando para a história, Commelin diz que os cálculos manuais foram outrora uma grande parte de ser matemático, mas agora são feitos automaticamente: “Coisas semelhantes acontecerão aqui, em que mudaremos radicalmente aquilo que fazemos, mas daqui a 10 ou 20 anos continuaremos a reconhecer aquilo que fazemos como matemática, num novo estilo.”
(ZAP)