Um grupo de matemáticos proeminentes divulgou a Declaração de Leiden sobre Inteligência Artificial e Matemática, marcando a resposta mais coordenada até agora de uma disciplina acadêmica à forma como as empresas de IA estão explorando o trabalho acadêmico. Endossada pela União Internacional de Matemática e assinada pelo recipiente da Medalha Fields Peter Scholze, a declaração condena a prática de treinar modelos de IA em artigos publicados sem a permissão dos autores e de divulgar resultados inovadores por meio de releases de imprensa em vez de periódicos revisados por pares.

O documento identifica cinco ameaças específicas que a IA representa para a disciplina. Primeiro, os sistemas atuais geram argumentos plausíveis, mas não confiáveis, que podem se disfarçar de provas válidas, tornando difícil para os pesquisadores separar resultados genuínos de erros sutis. Segundo, o conteúdo gerado por IA frequentemente omite a citação adequada, efetivamente apagando as contribuições dos matemáticos humanos. Terceiro, o incentivo de IA está distorcendo contratações, financiamento e reconhecimento dentro do campo. Quarto, a corrida para divulgar descobertas impulsionadas por IA - exemplificada pelo AlphaProof da Google DeepMind, que resolveu três problemas do International Mathematical Olympiad em 2024, mas atrasou a publicação revisada por pares por mais de um ano - subverte o processo tradicional de verificação. Quinto, as agendas de pesquisa correm o risco de serem direcionadas para problemas que são fáceis para as máquinas resolver, marginalizando questões valorizadas por sua significância intrínseca.

Para contrariar esses riscos, a declaração oferece recomendações em quatro níveis. Pesquisadores individuais são instados a divulgar qualquer ferramenta de IA usada em seu trabalho, manter a responsabilidade total pela correção de seus resultados e recusar-se a listar sistemas de IA como coautores. Sociedades acadêmicas devem exigir que as descobertas derivadas de IA atendam a padrões rigorosos, negociar acordos de licenciamento que previnam o uso não autorizado de material publicado para treinamento e insistir na disseminação revisada por pares. Os formuladores de políticas são solicitados a aumentar a supervisão pública das empresas de IA e investir em infraestrutura computacional não proprietária, ecoando modelos regulatórios europeus.

Os signatários abrangem um amplo espectro da comunidade matemática. Além de Scholze, a declaração traz os nomes de Robbert Dijkgraaf, ex-ministro da educação holandês e presidente eleito do Conselho Internacional de Ciência, e Steven Strogatz, da Universidade Cornell. Kevin Buzzard, do Imperial College, um defensor líder da matemática formalizada, elogiou a declaração como uma "resposta bem pensada" à perturbação contínua.

Os autores também confrontam as empresas de IA diretamente, alertando que a drive comercial para mostrar as capacidades de IA pode levar a alegações exageradas e ao deploy de modelos matemáticos em aplicações eticamente problemáticas, como guerra, vigilância em massa e erosão de processos democráticos. Ao insistir que os matemáticos mantenham o controle sobre como seu trabalho é usado, a Declaração de Leiden busca preservar a ética centrada no ser humano da disciplina, ao mesmo tempo em que reconhece os benefícios potenciais da IA quando aplicada de forma responsável.

Desenvolvida ao longo de oito meses por um grupo de trabalho de 17 membros após um workshop em 2025 no Lorentz Center em Leiden, a declaração foi aberta com 37 assinaturas verificadas e convida endossos adicionais da comunidade matemática global. Sua liberação sinaliza um ponto de inflexão: os matemáticos não são mais observadores passivos do surgimento da IA, mas arquitetos ativos dos padrões que moldarão a interação futura entre a percepção humana e a inteligência da máquina.

Este artigo foi escrito com a assistência de IA.
News Factory SEO ajuda você a automatizar conteúdo de notícias para o seu site.