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