Un grupo internacional compuesto por dieciséis investigadores de quince universidades de todo el mundo ha presentado recientemente la Declaración de Leiden sobre Inteligencia Artificial y Matemática. Este documento, publicado a principios de junio de 2026, surge como una respuesta urgente ante la rápida integración de las tecnologías de automatización en la investigación científica.
No se trata de una petición para prohibir estas herramientas, sino de una llamada a la acción para salvaguardar los valores fundamentales de la disciplina, como la transparencia y la autoría humana. El texto advierte que, si no se establecen normas claras, la matemática corre el riesgo de volverse dependiente de sistemas comerciales cerrados y de verse inundada por resultados poco fiables. La Declaración de Leiden no es un gesto aislado: la comunidad científica lleva tiempo marcándole líneas rojas a la IA, desde el aviso de arXiv, que vetará el uso negligente de IA en los estudios, hasta las revistas que ya ponen coto a los artículos con apoyo algorítmico.
La iniciativa cuenta con el respaldo de figuras de gran relevancia mundial, como ganadores de la Medalla Fields, y busca influir en las políticas de universidades, editoriales científicas y gobiernos. En un momento en que la inteligencia artificial resuelve problemas complejos de forma opaca, los expertos reclaman que la matemática siga siendo, ante todo, un esfuerzo de entendimiento humano.
¿Qué es la Declaración de Leiden?
La Declaración de Leiden es un manifiesto que establece un marco ético y práctico para el uso de la inteligencia artificial (IA) en la investigación matemática. Su origen se remonta a un taller celebrado en el Centro Lorentz de la Universidad de Leiden en septiembre de 2025, donde sesenta especialistas de diez países debatieron sobre la mecanización de esta ciencia. El resultado final, redactado por un grupo de trabajo liderado por el matemático Jim Portegies de la Universidad Tecnológica de Eindhoven, propone 23 recomendaciones específicas dirigidas a individuos, organizaciones y responsables políticos.
Este documento no rechaza el potencial de la tecnología. De hecho, muchos de sus firmantes utilizan habitualmente herramientas avanzadas. Sin embargo, la declaración pone el foco en los riesgos de que el uso de la IA degrade la integridad científica. El objetivo principal es asegurar que los desarrollos técnicos beneficien a la disciplina en lugar de dañarla de forma irreversible. Entre los puntos clave, se exige que cualquier uso de IA sea divulgado de manera transparente en los artículos científicos, manteniendo siempre la responsabilidad humana sobre la veracidad de los resultados.
La declaración ha recibido el apoyo oficial de la Unión Matemática Internacional (IMU, por sus siglas en inglés), la organización que agrupa a la comunidad matemática a nivel global. Según sus representantes, el futuro de la investigación debe estar guiado por el juicio humano y por prácticas justas que protejan el espíritu comunitario de la ciencia. Esta postura busca evitar que la matemática se convierta en una «caja negra» donde se obtienen respuestas correctas sin comprender realmente los procesos que llevan a ellas.
Por qué importa y qué está en riesgo
La preocupación de los investigadores no es infundada. Recientemente, modelos internos de empresas tecnológicas como OpenAI han logrado resolver problemas matemáticos históricos, como la conjetura de la distancia unitaria. Sin embargo, los métodos de entrenamiento y el funcionamiento interno de estos modelos permanecen ocultos al público académico. Esto genera una brecha de conocimiento donde las empresas privadas acumulan un poder y una información que la comunidad científica tradicional no puede verificar ni replicar de forma independiente.
La declaración identifica cinco amenazas principales que podrían alterar la esencia de la matemática si no se toman medidas ahora:
- Resultados poco fiables: Las técnicas actuales pueden generar argumentos que parecen correctos pero contienen errores sutiles, lo que pone bajo presión los sistemas de revisión por pares.
- Problemas de autoría y derechos: Muchos modelos se entrenan con obras publicadas sin citar adecuadamente a los autores originales, explotando licencias de forma cuestionable.
- Dependencia comercial: Existe el riesgo de que los matemáticos necesiten acceso a tecnologías propietarias costosas para ser competitivos, lo que aumentaría la desigualdad entre investigadores.
- Promoción exagerada o «hype»: Las notas de prensa a menudo sobrevaloran las capacidades de las máquinas y minimizan las contribuciones humanas previas que hicieron posibles esas herramientas.
- Pérdida de autonomía: Si los intereses comerciales dictan qué problemas se investigan (aquellos más fáciles de automatizar), se podría perder la profundidad y el juicio experto sobre lo que es realmente significativo.
Estas implicaciones afectan directamente a la industria tecnológica y a los usuarios. Si la base de la ciencia matemática se vuelve opaca o dependiente de intereses corporativos, la fiabilidad de las aplicaciones derivadas (desde la criptografía hasta los algoritmos de navegación) podría verse comprometida a largo plazo. Además, los investigadores alertan sobre el uso de la matemática para publicitar capacidades de razonamiento general en productos de IA que luego se aplican en áreas éticamente sensibles como la vigilancia masiva o el armamento.
Contexto y figuras tras la iniciativa
El respaldo a la Declaración de Leiden es masivo y cuenta con nombres que son verdaderas instituciones en la materia. Entre los firmantes destacan Terence Tao, profesor de la UCLA y considerado uno de los matemáticos más brillantes de la actualidad, y Peter Scholze, director del Instituto Max Planck de Matemáticas. Ambos son ganadores de la Medalla Fields, el equivalente al premio Nobel en su campo. Tao ha señalado que, aunque él mismo utiliza la IA para verificar sus pruebas, la discusión sobre estos valores fundamentales llega en el momento adecuado y es extremadamente valiosa.
La iniciativa también cuenta con el apoyo de Robbert Dijkgraaf, exministro de Educación de los Países Bajos y presidente electo del Consejo Internacional de Ciencias. Dijkgraaf subraya que la matemática es una de las disciplinas más afectadas por la generación automática de razonamientos, por lo que establecer estándares compartidos es vital para cultivar el juicio y la visión humana en la ciencia. Otros autores clave incluyen a especialistas de instituciones como la Universidad de Edimburgo, Oxford, Cambridge y la ETH Zurich, lo que otorga al documento un peso institucional indiscutible.
Para aquellos interesados en profundizar, se puede consultar el texto completo en la página web oficial de la declaración, donde también se permite a otros científicos e instituciones añadir su firma. El proyecto ha sido apoyado por organizaciones como el Instituto Isaac Newton para las Ciencias Matemáticas en Cambridge, que facilitó encuentros clave para la redacción final del manifiesto.
¿Qué significa esto para el futuro?
La publicación de este documento marca un antes y un después en la relación entre la ciencia pura y la tecnología de consumo. El próximo gran hito será el 26 de julio de 2026, cuando la Declaración de Leiden se presente y discuta formalmente en el Congreso Internacional de Matemáticos en Filadelfia. Este evento servirá para medir el grado de adopción de estas normas por parte de la comunidad global y para presionar a los gobiernos a que inviertan en infraestructuras de computación públicas que ofrezcan alternativas a los modelos cerrados de las grandes tecnológicas.
Lo que viene ahora es un periodo de adaptación donde las revistas científicas y las agencias de financiación deberán integrar estas recomendaciones en sus normativas. El futuro de la matemática parece encaminarse hacia una colaboración hombre-máquina donde la IA actúe como un asistente de investigación competente, pero nunca como un autor con voz propia. Al final, el mensaje de los expertos es realista: la tecnología ofrece oportunidades fantásticas, pero la responsabilidad de mantener la veracidad y el sentido de la ciencia sigue recayendo en nosotros.
