La Declaración de Leiden sobre Inteligencia Artificial y Matemáticas, publicada el 2 de junio de 2026, recoge la posición de un grupo internacional de investigadores sobre el uso creciente de la IA en la investigación matemática. El documento fue elaborado tras un taller celebrado en 2025 en el Lorentz Center de Leiden (Países Bajos), en consulta con expertos de distintos países, y plantea preocupaciones y recomendaciones para investigadores, organismos profesionales y responsables políticos.
La declaración describe varios usos actuales de los sistemas de IA en matemáticas, entre ellos la formalización de pruebas. Los autores identifican problemas potenciales relacionados con la fiabilidad de los resultados generados automáticamente, la atribución de trabajos producidos con modelos propietarios entrenados con datos no transparentes, y el impacto de las nuevas herramientas en las prácticas de publicación y revisión por pares. El texto también aborda el papel de las organizaciones comerciales en este ámbito.
Entre las recomendaciones para los investigadores individuales figuran declarar el uso de herramientas de IA en su trabajo, asumir la responsabilidad de verificar la corrección de los resultados y citar adecuadamente la literatura previa. A los organismos profesionales y entidades financiadoras, la declaración sugiere desarrollar políticas sobre el uso de la IA en la publicación y la revisión, manteniendo los estándares de escrutinio existentes. Para los responsables políticos, plantea cuestiones sobre regulación, inversión pública en infraestructura y la incorporación de asesoramiento experto en la evaluación de las afirmaciones sobre sistemas de IA.