A ideia parece linda, né? Uma inteligência artificial capaz de resolver problemas matemáticos difíceis, acelerar descobertas e ajudar pesquisadores a enxergar caminhos que antes pareciam impossíveis.
Mas, nos bastidores da matemática, nem todo mundo está confortável com essa pressa.
Um grupo internacional de pesquisadores criou a Declaração de Leiden sobre Inteligência Artificial e Matemática, publicada em 2 de junho de 2026. O documento não pede o fim da IA nos estudos matemáticos, mas faz um alerta bem direto: usar essas ferramentas sem critério pode colocar em risco a confiança que sustenta a própria ciência.
IA na matemática não é vilã, mas exige cuidado
A Declaração de Leiden nasceu de uma preocupação simples de entender: a matemática depende de provas corretas, verificáveis e bem atribuídas. Quando um resultado parece convincente, mas está errado, o problema não fica parado ali.
Ele pode virar base para novos estudos, influenciar artigos futuros e espalhar falhas como uma rachadura escondida na parede.
O manifesto lembra que ferramentas automatizadas já conseguem produzir argumentos que parecem sólidos, mas podem ser imprecisos ou incorretos. E esse é justamente o ponto sensível: em matemática, parecer certo não basta. Tem que ser demonstrável, revisável e compreendido por humanos.
Por que tantos pesquisadores ficaram preocupados?
A declaração foi desenvolvida depois de uma conferência realizada em setembro de 2025, no Lorentz Center, ligado à Universidade de Leiden, com cerca de 60 participantes de 10 países. Havia matemáticos, cientistas da computação, filósofos, historiadores e pesquisadores das ciências sociais.
O incômodo não é só com a ferramenta em si. É com o modo como ela pode mudar as regras do jogo.
Entre os principais riscos apontados estão:
provas geradas por IA que parecem boas, mas escondem erros;
falta de crédito aos trabalhos humanos usados como base;
pressão para valorizar pesquisas mais “automatizáveis”;
dependência de sistemas fechados, caros ou controlados por empresas;
divulgação exagerada de resultados antes da revisão científica.
No fundo, o medo é que a matemática vire uma corrida por manchetes, e não por entendimento real.
O que a Declaração de Leiden pede na prática
A Declaração de Leiden não diz: “não use IA”. O recado é mais maduro do que isso.
Ela pede que pesquisadores sejam transparentes quando usarem ferramentas automatizadas, que assumam responsabilidade pelos resultados publicados e que não coloquem sistemas de IA como autores de trabalhos acadêmicos. A autoria, segundo o documento, continua sendo humana.
Para instituições, revistas científicas e organizações da área, o pedido é por regras claras. Trabalhos com apoio de IA precisam passar por checagens rigorosas, com referências completas, revisão adequada e cuidado extra com atribuição.
Já para governos, o manifesto é ainda mais direto: não acreditar em exageros comerciais sobre a capacidade da IA, consultar especialistas antes de criar políticas e investir em infraestrutura pública para que a pesquisa não fique dependente apenas de empresas privadas.
O alerta vai além da matemática
Talvez o ponto mais interessante seja este: a discussão não fica presa aos números.
A matemática está servindo como uma espécie de laboratório para um debate maior. Se uma IA consegue produzir respostas bonitas, mas difíceis de verificar, como vamos lidar com isso em outras áreas? Medicina, direito, educação, jornalismo, engenharia… tudo entra na conversa.
A Universidade de Edimburgo resumiu bem esse dilema ao apontar perguntas que já não são hipotéticas: quem responde pelos erros? Quem recebe o crédito? Como saber se uma prova é realmente nova ou apenas uma reformulação sem atribuição correta?
E olha… isso não é pouca coisa.
A IA pode ser uma grande parceira, sim. Pode ajudar a testar hipóteses, organizar ideias, encontrar padrões e acelerar partes cansativas do trabalho. Mas, quando o assunto é conhecimento confiável, ela não pode virar uma espécie de autoridade invisível.
No fim das contas, a mensagem dos matemáticos é bem humana: tecnologia ajuda, mas não substitui julgamento, responsabilidade e transparência.
E talvez esse seja o lembrete que todo mundo precisava ouvir antes de confiar demais em uma resposta só porque ela veio bonita na tela.