Un grupo de 16 matemáticos redactó el texto. Más de 130 colegas lo firmaron antes de su publicación. La Universidad de Leiden lo publicó el 2 de junio de 2026 con el respaldo de la Unión Matemática Internacional (IMU). El nombre: la Declaración de Leiden sobre Inteligencia Artificial y Matemáticas.
El documento tiene 11 páginas y su argumento central es incómodo pero preciso: la IA no es solo una herramienta que ayuda a las matemáticas, es un agente externo que, sin salvaguardas deliberadas, puede alterar lo que las matemáticas son, cómo se validan los resultados y quién tiene el poder de definir qué preguntas importa responder.
El problema concreto: las pruebas generadas por IA son difíciles de verificar
Las matemáticas tienen una característica que las distingue de casi todas las otras disciplinas científicas: sus pruebas son, en principio, verificables por cualquier experto con los conocimientos suficientes. Una demostración bien construida puede seguirse paso a paso, y si es correcta, cualquier matemático competente puede comprobarlo.
Los modelos de IA están generando pruebas que rompen esa propiedad. No porque sean incorrectas necesariamente, sino porque son difíciles de entender y seguir. Un modelo como AlphaProof puede resolver un problema matemático difícil mediante un recorrido computacional de millones de pasos que ningún humano puede verificar en detalle. El resultado puede ser correcto — los benchmarks lo sugieren — pero la verificación se vuelve prácticamente imposible para un matemático individual.
El problema se agrava cuando esos resultados se anuncian en comunicados de prensa o posts de blog sin revisión rigurosa. Daniel Litt, matemático que participó en la elaboración de la declaración, lo formula con claridad: «Hay una prisa por anunciar resultados que a menudo no son comprobados ni contextualizados correctamente por varios startups de matemáticas con IA.» Cuando esos resultados se difunden antes de que los matemáticos puedan verificarlos, y contienen errores significativos, es muy difícil desmentirlos una vez que el titular ya circula.
Los cuatro riesgos que identifica la declaración
La declaración organiza sus preocupaciones en cuatro áreas:
Desalineación de objetivos. Los matemáticos eligen qué problemas resolver en función de qué técnicas e ideas nuevas pueden surgir en el proceso de buscar la solución. Las empresas de IA eligen qué problemas atacar en función de qué demuestra mejor las capacidades de sus modelos. Esas prioridades no siempre coinciden, y cuando el dinero fluye hacia los segundos, los primeros tienen dificultades para financiar sus propias investigaciones.
Dependencia e inequidad. Para producir resultados competitivos en ciertos campos de las matemáticas, pronto podría ser necesario acceder a los modelos de IA más avanzados y a la infraestructura computacional cara que los soporta. Eso beneficia a investigadores en universidades bien financiadas y en empresas privadas, y margina a los matemáticos en instituciones con menos recursos. La declaración pide financiación independiente para garantizar que los matemáticos tengan acceso sin depender de grandes tecnológicas.
Hiperpublicación de resultados sin rigor. Los comunicados de prensa que anuncian avances de IA en matemáticas antes de que hayan pasado revisión por pares establecida hacen que sea casi imposible para la comunidad rectificar errores una vez que están circulando. La velocidad del ciclo de noticias de IA es incompatible con el tiempo que requiere verificar una prueba matemática compleja.
Opacidad de las pruebas. Una prueba matemática que nadie puede seguir no es una prueba en el sentido epistemológico que la disciplina ha construido durante siglos. Incluso si el resultado es correcto, el conocimiento que genera es limitado porque no aporta comprensión del por qué, solo del qué.
El contexto: la IA lleva meses resolviendo problemas de olimpiada matemática
Para entender el peso de la declaración hay que entender lo que la IA está haciendo en matemáticas. En julio de 2025, varios modelos resolvieron cinco de seis problemas de la Olimpiada Internacional de Matemáticas (IMO). En 2026, los avances se han acelerado: modelos de Google, OpenAI y varios startups están atacando problemas de investigación matemática real, no solo olimpiadas.
Un investigador en Sheffield usó IA para resolver el Problema de Erdős #1196, uno de más de mil problemas que el matemático húngaro Erdős dejó sin resolver antes de su muerte en 1996. El modelo encontró una estrategia que sorprendió a los especialistas porque usó un enfoque que la estética y la convención matemática humana habrían descartado.
Quanta Magazine documenta en un artículo de abril de 2026 que matemáticos están abandonando la academia para unirse a empresas como OpenAI, Google o startups como Harmonic, Logical Intelligence, Axiom Math y Math Inc. El shock ante el poder de la IA se ha transformado en algo más parecido a la fascinación. Pero en los congresos, las bromas nerviosas sobre quedarse obsoleto son habituales incluso entre los que dicen públicamente que la IA es una herramienta de ayuda.
Las recomendaciones de la declaración
La declaración no es solo una lista de preocupaciones: incluye recomendaciones concretas para investigadores, revistas, organizaciones y gobiernos.
Para investigadores: declarar el uso de IA, atribuir correctamente los trabajos previos, y asegurarse de que los resultados asistidos por IA pasan por los mismos procesos de validación que los resultados humanos.
Para revistas y organizaciones: desarrollar políticas claras sobre autoría, transparencia, revisión por pares e intelectual property cuando la IA está implicada.
Para gobiernos: financiación independiente para matemáticas que no dependa de empresas privadas de IA, y apoyo a estándares compartidos.
Para empresas: colaborar con la comunidad matemática en lugar de simplemente extraer sus problemas como benchmarks para sus modelos.
Mi valoración
La Declaración de Leiden es un documento serio y necesario. No es alarmista — reconoce que la IA ofrece oportunidades reales — pero es honesto sobre los riesgos de no establecer salvaguardas antes de que la transformación sea difícil de revertir.
Lo que más me convence es el argumento sobre las pruebas. La verificabilidad no es un detalle técnico de la práctica matemática; es la razón por la que las matemáticas son el estándar de rigor que son. Si las pruebas generadas por IA no son verificables en el sentido humano, el edificio epistemológico de la disciplina cambia de naturaleza.
Lo que más me preocupa es la velocidad. La Declaración fue concebida en un workshop de septiembre de 2025 y publicada nueve meses después. El ritmo de los avances de IA en matemáticas es mucho más rápido que el ritmo de construcción de consenso académico.
Lo más estructuralmente significativo es la alineación de objetivos. Que las empresas de IA elijan qué problemas matemáticos resolver en función de lo que mejor demuestra sus capacidades, mientras los matemáticos eligen problemas por su fecundidad para nuevas ideas, no es una diferencia menor. Puede redirigir la atención del campo durante años hacia preguntas que importan a los inversores de Series B más que a la comprensión profunda del universo matemático.
Preguntas frecuentes
¿Qué es la Declaración de Leiden sobre IA y Matemáticas?
Es un documento de 11 páginas publicado el 2 de junio de 2026 por la Universidad de Leiden, redactado por 16 matemáticos y firmado por más de 130, con el respaldo de la Unión Matemática Internacional. Identifica cuatro riesgos del uso de IA en matemáticas —desalineación de objetivos, dependencia e inequidad, hiperpublicación sin rigor y opacidad de pruebas— y hace recomendaciones concretas a investigadores, revistas, organizaciones y gobiernos.
¿Qué avances de IA en matemáticas motivaron la declaración?
Varios modelos de IA resolvieron cinco de seis problemas de la Olimpiada Internacional de Matemáticas (IMO) en julio de 2025. En 2026, los sistemas de IA están atacando problemas de investigación matemática real y, en algunos casos, encontrando soluciones con estrategias que los matemáticos humanos no habrían considerado. Startups como Harmonic, Logical Intelligence, Axiom Math y Math Inc. han atraído matemáticos de primer nivel desde la academia.
¿La declaración es contraria al uso de IA en matemáticas?
No. La declaración reconoce explícitamente que la IA ofrece oportunidades importantes para la investigación matemática. Su argumento es que sin elecciones deliberadas y responsabilidad compartida, esas oportunidades pueden venir acompañadas de cambios en los valores fundamentales de la disciplina que podrían ser difíciles de revertir.