Más de 130 matemáticos de todo el mundo firmaron conjuntamente a principios de junio de 2026 la «Declaración de Leiden sobre Inteligencia Artificial y Matemáticas» (Leiden Declaration on Artificial Intelligence and Mathematics), emitiendo una advertencia colectiva formal sobre el impacto de la IA en la disciplina matemática. La declaración se originó en una conferencia temática celebrada en la Universidad de Leiden en septiembre de 2025, se redactó durante aproximadamente ocho meses y recibió el respaldo de la Unión Matemática Internacional (IMU). La declaración señala que las pruebas generadas por IA pueden parecer creíbles pero contienen errores difíciles de detectar, lo que amenaza la verificabilidad de los resultados matemáticos; que la IA extrae grandes cantidades de trabajo de matemáticos sin atribución, erosionando la tradición de atribución académica; y que las instituciones comerciales utilizan las matemáticas para promocionar productos de IA, influyendo sutilmente en la autonomía de las direcciones de investigación.
La declaración no pide prohibir la IA, sino que propone un marco de respuesta de tres niveles: los investigadores individuales deben revelar el uso de IA y asumir la responsabilidad de la corrección de los resultados; las instituciones académicas y organizaciones profesionales deben desarrollar políticas para mantener los estándares de revisión por pares y transparencia; y los responsables políticos deben financiar infraestructura pública de IA y apoyar la ciencia abierta. La declaración menciona particularmente que los matemáticos al inicio de su carrera y los estudiantes se ven afectados de manera desproporcionada, y que sin intervención, la salud a largo plazo de toda la disciplina se verá perjudicada. La declaración ya se ha incluido en la agenda del próximo Congreso Internacional de Matemáticos (ICM), con la esperanza de generar una respuesta institucional más amplia.