Leiden Declaration: matemáticos alertam para o impacto da IA na confiabilidade e autonomia da matemática

A Leiden Declaration on Artificial Intelligence and Mathematics, publicada em 2 de junho de 2026 por um grupo internacional de matemáticos, é um policy statement que alerta para o impacto crescente da Inteligência Artificial (IA) na prática da matemática e para a consequente pressão sobre valores fundamentais da disciplina. O documento busca orientar a comunidade matemática quanto ao uso crescente de sistemas de IA na pesquisa científica.

O texto observa que desenvolvimentos recentes em IA, incluindo métodos simbólicos e neurais aplicados à geração e à formalização de resultados matemáticos, já inauguraram uma nova etapa em um processo histórico contínuo de transformação tecnológica da área.

A declaração também identifica riscos estruturais associados a essas tecnologias, incluindo a intensificação de pressões sobre sistemas de revisão por pares, possíveis distorções decorrentes da influência de interesses comerciais e a redução da autonomia da pesquisa matemática. Nesse contexto, o documento propõe uma resposta coordenada da comunidade científica com o objetivo de preservar princípios como transparência, responsabilidade e independência na produção do conhecimento matemático.

Acesso ao documento oficial: https://leidendeclaration.ai/