Mais de 130 matemáticos de todo o mundo assinaram, no início de junho de 2026, a «Declaração de Leiden sobre Inteligência Artificial e Matemática» (Leiden Declaration on Artificial Intelligence and Mathematics), emitindo um alerta coletivo formal sobre o impacto da IA na disciplina matemática. A declaração teve origem numa conferência temática realizada pela Universidade de Leiden em setembro de 2025, foi redigida ao longo de aproximadamente oito meses e conta com o endosso da União Matemática Internacional (IMU). O documento aponta que provas geradas por IA podem parecer plausíveis, mas escondem erros difíceis de detetar, ameaçando a verificabilidade dos resultados matemáticos; que a recolha maciça de trabalhos de matemáticos pela IA, sem a devida atribuição de autoria, está a corroer a tradição de reconhecimento académico; e que as empresas comerciais, ao usarem a matemática para promover os seus produtos de IA, estão a influenciar subtilmente a autonomia das direções de investigação.
A declaração não apela à proibição da IA, mas propõe um quadro de atuação em três níveis: os investigadores individuais devem divulgar o uso de IA e assumir a responsabilidade pela correção dos resultados; as instituições académicas e organizações profissionais devem definir políticas que mantenham os padrões de revisão por pares e transparência; e os decisores políticos devem financiar infraestruturas públicas de IA e apoiar a ciência aberta. O documento sublinha particularmente que os matemáticos em início de carreira e os estudantes são os mais afetados e que, sem intervenção, a saúde de longo prazo de toda a disciplina ficará comprometida. A declaração foi já incluída na agenda do próximo Congresso Internacional de Matemáticos (ICM), na expectativa de gerar uma resposta institucional mais ampla.