- Matemáticos criaram a Declaração de Leiden para alertar sobre riscos do uso de IA em pesquisas matemáticas complexas, apresentada por volta de setembro de 2025 em Leiden, nos Países Baixos, com apoio da União Internacional de Matemática.
- A Declaração foi publicada em 2 de junho de 2026 e não busca proibir a IA, mas alertar para cuidados devido aos riscos associados.
- Um problema central é que a IA pode gerar resultados convincentes mesmo quando há erros, o que pode contaminar a literatura científica se não houver verificação.
- Outros pontos incluem falta de indicação de fontes humanas, superestimativa da capacidade da IA, desigualdade de acesso às ferramentas e potencial impacto de interesses comerciais.
- O documento recomenda regulamentação pública rigorosa, transparência no uso de IA por pesquisadores, checagens mais rígidas em publicações e medidas para evitar uso indevido de dados de humanos ou treinamentos de IA comerciais.
A Declaração de Leiden sobre Inteligência Artificial e Matemática aponta que o uso da IA em estudos matemáticos deve ser feito com cautela. O manifesto foi criado por cerca de 60 acadêmicos durante encontro na Universidade de Leiden, nos Países Baixos, em setembro de 2025. A publicação ocorreu em 2 de junho de 2026.
O grupo reuniu matemáticos, especialistas em computação, filósofos, historiadores e cientistas sociais para tratar da mecanização da pesquisa matemática. A iniciativa conta com o apoio da União Internacional de Matemática e busca alcançar indivíduos e organizações governamentais.
O que diz a Declaração
A declaração não proíbe a IA na matemática, mas alerta para riscos associados ao uso da tecnologia em resultados matemáticos. Funcionários e pesquisadores devem entender que resultados convincentes nem sempre são corretos e podem ser base para erros na literatura.
Apoia ainda que rascunhos gerados por IA sejam avaliados com rigor, evitando a fofada de certificar achados sem validação. Há preocupação com a clareza na indicação de fontes humanas originais nos trabalhos.
Questões-chave levantadas
Entre os problemas destacam-se a ausência de devidas fontes, a superestimação da capacidade da IA e o risco de disseminar resultados incorretos. O manifesto alerta para desigualdade de acesso a ferramentas avançadas entre pesquisadores.
Outra preocupação envolve o potencial uso comercial de IA, que pode privilegiar pesquisas com valor econômico imediato em detrimento de assuntos científicos essenciais. A ideia é manter equilíbrio e foco no avanço matemático.
O que pedem aos governos e às instituições
O texto orienta governos a regulamentarem de forma rigorosa a indústria de IA. Além disso, recomenda que instituições de ensino verifiquem trabalhos com IA por critérios estritos.
Organizações devem evitar que textos criados com IA sirvam de base para treinamentos de ferramentas comerciais sem autorização. A Declaração de Leiden também sugere transparência no uso de IA em pesquisas.
Contexto e adesões
Ao publicar a declaração, já havia mais de 2.000 signatários globais, principalmente docentes universitários e pesquisadores. A adesão busca ampliar o alcance do manifesto para além de laboratórios, alcançando organismos públicos e privados.
A iniciativa foi divulgada após o encontro em Leiden e marca um alerta público sobre a integração entre IA e matemática. A leitura do texto completo está disponível para consulta pública por meio de canais oficiais.
Entre na conversa da comunidade