La Declaración de Leiden no rechaza la inteligencia artificial en matemáticas, pero exige que su uso no destruya los pilares que hacen fiable a la disciplina: la prueba, la atribución, la revisión por pares, la autonomía investigadora y el juicio humano.
La comunidad matemática internacional ha decidido intervenir de forma explícita en uno de los debates más delicados de la era de la inteligencia artificial: qué ocurre cuando las máquinas empiezan a producir, formalizar, verificar o incluso sugerir resultados matemáticos. La respuesta llega con la Declaración de Leiden sobre Inteligencia Artificial y Matemáticas, un texto publicado el 2 de junio de 2026 que reclama una acción coordinada para afrontar los desafíos que plantea el uso de la IA en la investigación matemática.
La declaración es el resultado de una iniciativa comunitaria y cuenta con el respaldo de la International Mathematical Union (IMU), una de las instituciones de referencia mundial en la disciplina. El texto no es una llamada tecnófoba ni una impugnación general de la inteligencia artificial. Al contrario, parte de una constatación realista: los desarrollos tecnológicos han transformado repetidamente la práctica matemática a lo largo de la historia, y las tecnologías recientes de IA —incluidos métodos simbólicos, redes neuronales, asistentes de demostración y sistemas capaces de generar o formalizar argumentos— pueden haber iniciado ya un nuevo capítulo en esa evolución.
Pero la declaración introduce una advertencia de fondo: si la matemática adopta estas herramientas sin normas claras, sin transparencia y sin una defensa activa de sus valores, puede acabar erosionando precisamente aquello que la distingue como disciplina. La prueba matemática no es solo un resultado correcto; es una forma de comprensión, de responsabilidad y de verificación pública. Y esos tres elementos quedan tensionados cuando entran en escena sistemas opacos, modelos entrenados sobre trabajos ajenos, resultados anunciados por canales informales y compañías tecnológicas con intereses comerciales propios.
El documento reconoce que entre los investigadores existen reacciones muy distintas ante la IA. Hay entusiasmo por su potencial para acelerar descubrimientos, intimidación ante la velocidad de los avances, indiferencia ante cambios que todavía parecen lejanos para muchas áreas, y preocupación por las implicaciones científicas, laborales, éticas y sociales de esta tecnología. Esa pluralidad de actitudes es precisamente lo que hace necesaria una respuesta colectiva.
La Declaración de Leiden sostiene que los matemáticos tienen una elección sobre si adoptar o no la inteligencia artificial en su trabajo, pero también una responsabilidad: garantizar que la disciplina siga floreciendo. Esa idea atraviesa todo el texto. No se trata solo de decidir qué herramientas usar en un artículo o en una demostración, sino de proteger el ecosistema que permite que la matemática siga siendo una empresa humana, verificable, atribuible y guiada por criterios internos de profundidad, dificultad y significado.
Uno de los puntos más potentes de la declaración es su defensa de la prueba. En matemáticas, la demostración ocupa un lugar singular dentro de la ciencia. No se limita a aportar evidencia probable; aspira a una certeza lógica y a una comprensión de por qué una afirmación es verdadera. Por eso la aparición de sistemas capaces de producir argumentos plausibles, pero potencialmente incorrectos, representa un riesgo específico. En otras disciplinas, un error puede detectarse mediante experimentación o contrastes empíricos. En matemáticas, un argumento falso camuflado bajo apariencia de rigor puede contaminar una cadena entera de resultados posteriores.
La declaración advierte de que las técnicas automatizadas actuales pueden generar argumentos convincentes pero poco fiables, e incluso incorrectos, difíciles de distinguir de una demostración válida. El problema no afecta únicamente a textos informales escritos en lenguaje natural. También aparece en la formalización matemática, donde la dificultad puede residir en traducir adecuadamente entre una presentación humana de conceptos y su codificación en sistemas computacionales.
Este punto es crucial. Durante los últimos años se ha extendido la idea de que la formalización automática de pruebas podría resolver el problema de la fiabilidad. Pero la Declaración de Leiden recuerda que la verificación formal no elimina todos los riesgos. Una prueba codificada puede ser correcta dentro de un sistema, pero la correspondencia entre esa codificación y la afirmación matemática que los humanos creen estar demostrando sigue requiriendo interpretación, conocimiento experto y responsabilidad.
La revisión por pares aparece así bajo una nueva presión. El sistema tradicional de evaluación matemática ya era exigente antes de la IA: artículos largos, demostraciones complejas, especialización extrema y tiempos de revisión prolongados. Si ahora los investigadores pueden producir textos, variantes, formalizaciones o extensiones asistidas por IA a gran velocidad, la carga de los revisores puede aumentar de forma insostenible. El riesgo no es que haya demasiada productividad, sino que se multipliquen los materiales aparentemente rigurosos sin que la comunidad tenga capacidad suficiente para examinarlos con el estándar que exige la disciplina.
Por eso una de las recomendaciones centrales del documento es la transparencia. Los matemáticos que utilicen herramientas automatizadas deben declarar ese uso de forma clara. La declaración propone incluir en los artículos una sección específica sobre herramientas y recursos computacionales, en la que se explique qué sistemas se han empleado, con qué finalidad y en qué partes del trabajo han intervenido. Esta transparencia no libera al autor humano de responsabilidad. Al contrario: la refuerza.
La Declaración de Leiden es tajante en este aspecto: cuando se empleen técnicas automatizadas en una investigación matemática publicada, la responsabilidad por la corrección y adecuación de los argumentos, así como por la integridad de las citas y atribuciones, sigue perteneciendo exclusivamente a los autores humanos. La IA puede ayudar, sugerir, traducir, formalizar o explorar, pero no puede asumir autoría moral ni responsabilidad científica.
Ese énfasis en la autoría humana conecta con otro de los grandes problemas señalados por la declaración: la atribución. Los modelos de inteligencia artificial se entrenan a menudo con enormes corpus de textos, artículos, libros, bibliotecas formales y materiales publicados por investigadores durante décadas. La matemática, por su propia estructura, ofrece a la IA un terreno especialmente atractivo: resultados precisos, lenguaje simbólico, razonamiento formal y posibilidades de verificación automática. Pero esa riqueza se ha construido sobre una comunidad de autores, escuelas, tradiciones y trabajos acumulados.
El documento alerta de que los modelos entrenados sobre el “común matemático” pueden devolver resultados que sintetizan ideas ajenas sin citarlas adecuadamente. En algunos casos, además, los sistemas se han construido explotando licencias, acuerdos de acceso o materiales publicados bajo condiciones que no fueron pensadas para el entrenamiento masivo de modelos de IA. La declaración reclama proteger los derechos de los autores y exige que el material matemático no sea usado como dato de entrenamiento sin consentimiento.
Este punto sitúa la Declaración de Leiden dentro de una discusión más amplia sobre propiedad intelectual, ciencia abierta y poder corporativo. La matemática ha vivido históricamente de una cultura de circulación del conocimiento, pero esa apertura no equivale necesariamente a permitir que empresas privadas extraigan valor de publicaciones científicas sin reconocimiento, sin compensación y sin someterse a las normas de la comunidad que produjo ese conocimiento.
La declaración no se opone a la ciencia abierta; de hecho, la reivindica. Pero distingue entre apertura al servicio del conocimiento común y extracción opaca al servicio de modelos comerciales. Esta diferencia será cada vez más importante. Si la investigación matemática se convierte en materia prima gratuita para sistemas privados que luego se venden como productos cerrados, el equilibrio entre comunidad científica e industria tecnológica se rompe.
Otro eje fundamental del texto es la autonomía de la investigación. La Declaración de Leiden advierte de que la creciente implicación de empresas tecnológicas en la matemática puede alterar las prioridades de la disciplina. Si los problemas se eligen porque son especialmente adecuados para ser atacados por sistemas automatizados, y no porque los expertos los consideren profundos, significativos o estructuralmente relevantes, la matemática corre el riesgo de reorientarse hacia lo que resulta computacionalmente rentable o mediáticamente vendible.
Esta advertencia es especialmente oportuna en un momento en que las compañías de IA utilizan logros matemáticos como prueba de capacidad general de razonamiento. Resolver problemas de olimpiadas, formalizar teoremas o superar benchmarks matemáticos se ha convertido en una forma de marketing tecnológico. Pero la declaración recuerda que el éxito en una tarea matemática concreta no puede extrapolarse automáticamente a una comprensión general, ni debe utilizarse para inflar expectativas comerciales sobre productos que luego se aplican en ámbitos sociales mucho más sensibles.
El documento denuncia también una práctica cada vez más frecuente: anunciar resultados matemáticos mediante comunicados de prensa, publicaciones de blog o campañas corporativas antes de que exista un artículo revisado o información suficiente para una evaluación científica seria. Esta dinámica traslada la lógica del mercado tecnológico —velocidad, atención, titulares, posicionamiento competitivo— a una disciplina cuyo criterio de validez depende de procesos lentos, colectivos y verificables.
En matemáticas, la reputación de un resultado no debería depender de la espectacularidad de una presentación ni del tamaño de la empresa que lo anuncia. Debería depender de la posibilidad de leer, verificar, discutir, refutar o incorporar ese resultado dentro de la comunidad. La declaración insiste en que los mecanismos informales pueden acompañar la comunicación científica, pero no sustituir la publicación revisada por pares ni el escrutinio comunitario.
La Declaración de Leiden también mira hacia las instituciones. No se limita a dar consejos individuales a los investigadores. Pide a organizaciones profesionales, sociedades matemáticas, revistas, financiadores y universidades que desarrollen políticas claras sobre publicación, revisión, atribución, autoría, uso de herramientas automatizadas y colaboración con la industria. La comunidad matemática, afirma el texto, no puede limitarse a reaccionar caso por caso. Debe construir marcos de actuación antes de que las dinámicas comerciales impongan sus propias reglas.
Entre las recomendaciones institucionales destaca la necesidad de mantener estándares de rigor adaptados a los riesgos de la IA. Eso puede incluir descripciones humanas de los argumentos centrales generados por herramientas automatizadas, verificación formal cuando sea apropiado, comprobaciones cruzadas entre resultados teóricos y computacionales, o revisiones externas antes de la presentación formal de determinados trabajos. La idea de fondo es sencilla: cuanto más automatizado sea el proceso, más claro debe ser el mecanismo de validación.
La declaración reclama también laboratorios públicos de investigación en matemática automatizada, independientes de la industria. Este punto es decisivo. Si la infraestructura computacional, los modelos, los datos, el acceso a recursos y las prioridades de investigación dependen exclusivamente de grandes empresas, la comunidad académica pierde capacidad de decisión. Por eso el texto pide invertir en infraestructura computacional pública a escala universitaria, nacional e internacional.
Este llamamiento conecta con una preocupación creciente en muchas disciplinas: la asimetría entre universidades y grandes tecnológicas. Las empresas ofrecen salarios, recursos de cálculo, oportunidades intelectuales y visibilidad que muchas instituciones públicas no pueden igualar. En un contexto de presupuestos universitarios presionados y carreras académicas precarias, esa asimetría puede empujar a investigadores a colaborar en condiciones desequilibradas. La Declaración de Leiden pide marcos profesionales, apoyo legal y criterios éticos para que estas colaboraciones no comprometan la autonomía ni la conciencia de los investigadores.
La dimensión ética del texto va más allá de la matemática. La declaración recuerda que la IA se está desarrollando en un contexto de debate sobre guerra, vigilancia masiva, manipulación política, desinformación, daños ambientales y concentración de poder. Los matemáticos no pueden ignorar que sus métodos, sus publicaciones y sus resultados pueden quedar incorporados a sistemas usados con fines que exceden la investigación científica. Por eso el documento invita a evaluar las consecuencias éticas del propio trabajo y, si es necesario, retirarse de proyectos dañinos.
Este es uno de los aspectos más contundentes de la declaración: sitúa a la matemática dentro de la responsabilidad social de la ciencia. Durante mucho tiempo, parte de la investigación matemática pudo presentarse como abstracta, neutral o alejada de aplicaciones inmediatas. La IA ha debilitado esa separación. Técnicas matemáticas aparentemente puras pueden acabar integradas en sistemas de vigilancia, armamento, manipulación informativa o control social. La declaración no acusa a los matemáticos de esas derivas, pero sí les pide no desentenderse de ellas.
El respaldo de la International Mathematical Union da al documento una relevancia especial. La IMU afirma que el desarrollo rápido y el impacto de la inteligencia artificial en la disciplina deben tomarse muy en serio: abren oportunidades nuevas, pero también plantean preguntas que no pueden quedar sin examinar. En su apoyo a la declaración, la institución defiende que el futuro de la investigación matemática debe guiarse por el juicio humano, las prácticas justas y transparentes y los valores compartidos de la comunidad global.
Entre los apoyos destacados figuran nombres de gran peso intelectual, como Peter Scholze, Terence Tao, Robbert Dijkgraaf, Ilka Agricola, Jeremy Avigad o Kevin Buzzard. Sus adhesiones reflejan que el debate no se limita a un sector conservador o resistente al cambio. Atraviesa a investigadores que conocen de primera mano tanto la profundidad de la matemática contemporánea como las posibilidades de la formalización, la computación y la inteligencia artificial.
La declaración nació de una conferencia celebrada en septiembre de 2025 en el Lorentz Center de la Universidad de Leiden, en los Países Bajos, bajo el título “Mechanization and Mathematical Research”. Participaron alrededor de 60 personas de 10 países, entre matemáticos, informáticos, filósofos, historiadores y científicos sociales, incluidos perfiles con experiencia en industria y gobierno. Durante los meses posteriores, un grupo de trabajo más reducido elaboró el texto con retroalimentación amplia de la comunidad matemática. El resultado refleja el estado de la tecnología de IA y de la práctica matemática hasta mayo de 2026.
Ese origen explica el tono del documento. No es un manifiesto improvisado ni una reacción alarmista a una noticia puntual. Es una respuesta meditada a un cambio estructural. La matemática lleva décadas conviviendo con ordenadores, software de cálculo simbólico, demostradores automáticos, asistentes de prueba y bases de datos formales. La novedad actual no es simplemente que haya máquinas ayudando a calcular. La novedad es que sistemas de IA de propósito general, integrados en plataformas comerciales, empiezan a intervenir en la generación, comunicación, validación y evaluación del conocimiento matemático.
La Declaración de Leiden puede leerse, por tanto, como una frontera. A un lado, el entusiasmo legítimo por herramientas que pueden ampliar la capacidad humana, abrir nuevas vías de investigación, ayudar a formalizar resultados, detectar patrones, explorar conjeturas y hacer más accesibles ciertos procesos. Al otro, la advertencia de que ninguna eficiencia justifica sacrificar la comprensión, la atribución, el rigor y la autonomía.
La tesis central es que la IA debe estar al servicio de la matemática, no la matemática al servicio de la IA. Esto implica rechazar una visión puramente extractiva en la que los trabajos matemáticos se convierten en combustible de modelos privados, los resultados se anuncian según calendarios de marketing y los problemas se seleccionan por su utilidad para demostrar capacidades comerciales. La comunidad matemática reivindica su derecho a decidir qué considera valioso, cómo valida sus resultados y bajo qué condiciones colabora con la tecnología.
El impacto de esta declaración puede ir mucho más allá de las matemáticas. Otras disciplinas científicas y creativas afrontan tensiones similares: uso de obras como datos de entrenamiento, opacidad de modelos, atribución deficiente, presión sobre la revisión por pares, producción masiva de contenido plausible, dependencia de infraestructura privada y desplazamiento de criterios humanos por métricas automatizadas. La matemática, por su relación privilegiada con la prueba y la verificación, está formulando una respuesta que puede servir de referencia a otros campos.
No es casual que el texto dialogue con marcos previos como la ciencia abierta, los principios FAIR, la ética científica o las declaraciones sobre evaluación responsable de la investigación. La Declaración de Leiden no pretende aislar a los matemáticos del resto del debate social sobre la IA. Al contrario, los invita a participar activamente en él, a apoyar el periodismo científico serio y a contextualizar los resultados asistidos por inteligencia artificial para evitar exageraciones, simplificaciones y malentendidos.
La gran pregunta ahora es si la declaración se traducirá en políticas concretas. Su valor simbólico es indudable, pero su eficacia dependerá de que revistas, universidades, sociedades científicas, financiadores y gobiernos adopten normas verificables. Hacen falta secciones obligatorias de transparencia computacional, criterios de revisión adaptados a la IA, políticas de consentimiento sobre datos de entrenamiento, alternativas públicas de infraestructura, códigos de colaboración con empresas y mecanismos para proteger a investigadores jóvenes o precarios.
El riesgo, si no se actúa, es doble. Por un lado, una inflación de resultados generados o asistidos por IA que sobrecargue la revisión, degrade la confianza y dificulte distinguir entre avance real y ruido académico. Por otro, una captura progresiva de la agenda matemática por parte de empresas que disponen de los modelos, los servidores, los datos, los salarios y la capacidad de comunicación pública.
La Declaración de Leiden llega en un momento decisivo porque plantea el debate antes de que el daño sea irreversible. No espera a que la IA haya colonizado por completo la investigación matemática. Tampoco niega sus posibilidades. Lo que exige es gobernanza, responsabilidad y una defensa explícita de la dimensión humana del conocimiento.
En conclusión, la Declaración de Leiden sobre Inteligencia Artificial y Matemáticas marca un punto de inflexión en la relación entre ciencia e IA. Su mensaje es claro: la automatización puede ayudar a descubrir, formalizar y explorar, pero no debe sustituir el juicio humano ni romper los pactos que hacen posible la confianza científica. La matemática no es únicamente una fábrica de respuestas correctas; es una comunidad que cultiva comprensión, rigor y sentido.
Ese es el verdadero alcance del documento. En plena carrera por convertir la inteligencia artificial en infraestructura universal del conocimiento, los matemáticos recuerdan que no todo lo que puede automatizarse debe entregarse sin condiciones. La prueba, la autoría, la revisión y la autonomía no son obstáculos al progreso. Son precisamente las garantías que permiten distinguir el progreso real de la simple producción acelerada de resultados.
