La Declaración de Leiden sobre Inteligencia Artificial y Matemáticas es un documento firmado por investigadores y académicos que insta a la comunidad matemática a asumir un papel activo frente al avance de la inteligencia artificial en la disciplina. El texto, planteado como una llamada a la responsabilidad compartida entre matemáticos, instituciones, gobiernos e industria, identifica valores fundamentales de la investigación matemática que, según los autores, están siendo amenazados por el despliegue acelerado de sistemas de IA, tanto simbólicos como neuronales, aplicados a la generación y formalización de pruebas.
El preámbulo reconoce que la tecnología ha transformado repetidamente la práctica de las matemáticas, y que la IA puede inaugurar un nuevo capítulo en esa historia. Subraya, no obstante, que los matemáticos deben tomar decisiones conscientes sobre cómo adoptar estas herramientas si quieren preservar la integridad científica de la disciplina.
La declaración articula cinco valores que considera esenciales: la prueba como mecanismo de certeza y comprensión; la atribución de resultados a autores concretos; la transparencia y verificabilidad independiente de los argumentos; los estándares compartidos de evaluación por la comunidad; y la autonomía en la dirección de la investigación. Los firmantes sostienen que cada uno de estos principios se ve amenazado de forma desproporcionada por la IA actual, especialmente para estudiantes e investigadores en etapas tempranas de su carrera.
Entre las amenazas concretas que enumera el texto figuran la producción de argumentos plausibles pero incorrectos, difíciles de distinguir de pruebas válidas incluso en entornos de formalización; la extracción sistemática de la literatura matemática publicada para entrenar modelos que rara vez citan las obras humanas que sintetizan; la alteración de los incentivos académicos, que podría favorecer el uso de IA por sí mismo; y la difusión de resultados a través de canales informales —notas de prensa o publicaciones en blogs— antes de la revisión comunitaria, con simplificaciones que sobrevaloran las herramientas automatizadas y minusvaloran las contribuciones humanas previas.
El documento también advierte del peso creciente de las empresas tecnológicas en la fijación de prioridades de investigación, lo que podría subordinar el juicio experto sobre la significación de los problemas a la mera conveniencia computacional. Los firmantes enmarcan estas preocupaciones en un debate más amplio sobre el impacto de la IA a gran escala, que incluye sus aplicaciones militares, la vigilancia masiva, la perturbación política y el daño ambiental.
La declaración se sitúa en sintonía con otros instrumentos como el Código de Ética de Uppsala para Científicos, la Declaración de San Francisco sobre Evaluación de la Investigación, la Recomendación de la UNESCO sobre Ciencia Abierta y el Código Ético Universal para Científicos del Reino Unido, y toma como referencia trabajos previos del Comité de Publicaciones de la Unión Matemática Internacional, la Society for Industrial and Applied Mathematics y la American Mathematical Society.