La inteligencia artificial ya no aparece en las matemáticas solo como una herramienta experimental. En las últimas semanas, un grupo internacional de especialistas publicó la Leiden Declaration on Artificial Intelligence and Mathematics, un documento que pide reglas claras para usar IA en investigación matemática. La discusión salió del círculo académico y llegó a medios como Science y Scientific American, que destacaron la misma idea: la comunidad matemática quiere frenar usos que puedan alterar la forma en que se investiga, se publica y se reconoce el trabajo científico.
El punto de inicio no es un rechazo total a la IA. Los firmantes reconocen que estas herramientas ya forman parte del trabajo cotidiano y que pueden ayudar a explorar ideas, formalizar demostraciones o revisar resultados. El problema, según la declaración, aparece cuando la velocidad y la automatización empiezan a presionar valores centrales de la disciplina: el rigor, la autoría humana, la revisión por pares y la transparencia sobre qué hizo una persona y qué hizo una máquina.
La advertencia llega después de varios logros recientes
El problema creció porque la IA ya ha producido resultados llamativos en matemáticas. En mayo de 2026, OpenAI anunció que un modelo interno había refutado una conjetura de geometría discreta relacionada con el problema de la distancia unitaria de Erdős, una pregunta abierta desde 1946. La empresa dijo que el resultado fue verificado por matemáticos externos. Esa clase de avance no prueba que la IA “haga matemáticas” como un humano, pero sí muestra que puede aportar ideas nuevas en un campo donde antes parecía muy limitada.
A eso se suma otro logro reciente: en 2025, modelos de Google y OpenAI obtuvieron medallas de oro en la Olimpiada Internacional de Matemáticas. Reuters reportó que ambos sistemas resolvieron cinco de seis problemas usando razonamiento en lenguaje natural, algo que reforzó la sensación de que la IA ya no solo calcula rápido, sino que empieza a moverse en niveles más creativos del razonamiento matemático. Para muchos especialistas, esa combinación de velocidad, capacidad de búsqueda y generación de ideas cambia la escala del debate.
Ese contexto explica por qué la noticia no se centró en una sola demostración, sino en el impacto más amplio de la tecnología sobre la disciplina. Scientific American resumió la situación con claridad: varios matemáticos quedaron sorprendidos por los anuncios recientes, pero también temen que la IA, si avanza sin reglas, cambie la práctica de la matemática para peor. La preocupación no es solo técnica; también toca la cultura del campo y la manera en que se construye prestigio académico.
¿Qué pide exactamente la Declaración de Leiden?
La Declaración de Leiden, publicada el 2 de junio de 2026 y respaldada por la International Mathematical Union, no propone una prohibición. Lo que pide es una respuesta organizada. Sus autores, un grupo de 16 académicos, sostienen que la comunidad matemática debe adoptar la IA con cuidado y mantener su responsabilidad sobre la calidad, la corrección y la atribución del trabajo. La Universidad de Oxford, a través de Wadham College, informó además que el texto reunió 2,000 firmas en una semana.
El documento insiste en un punto: cuando alguien use herramientas automáticas en un trabajo matemático, debe decirlo con transparencia. También pide que los artículos mantengan revisión por pares, que los autores sigan siendo responsables de la corrección de los argumentos y que la autoría no se diluya en favor de sistemas automáticos. La declaración también plantea proteger los derechos de autor, evitar que el material académico se use como entrenamiento sin consentimiento y apoyar laboratorios de investigación públicos e independientes de la industria.
Ese énfasis en la transparencia no es un detalle burocrático. En matemáticas, la validación no depende solo de que una respuesta “parezca correcta”, sino de que cada paso pueda revisarse y sostenerse con lógica estricta. Por eso, la declaración pide incluso que los trabajos incluyan una sección específica para declarar herramientas y recursos computacionales, algo que busca hacer visible el papel de la IA en la producción del resultado. En un campo donde una sola hipótesis mal justificada puede arrastrar años de trabajo, ese punto es muy importante.
¿Por qué a los matemáticos les preocupa más que la precisión?
La inquietud principal no gira solo alrededor de si una IA resuelve o no resuelve un problema. También tiene que ver con cómo cambia el escenario de la investigación. La declaración advierte que la automatización puede alterar los incentivos del sistema: qué se publica, qué se financia, qué se premia y qué tipo de problemas reciben más atención. En otras palabras, la IA puede empujar a la comunidad hacia resultados rápidos y visibles, aunque eso no siempre coincida con el valor científico de fondo.
Además, la matemática no se reduce a encontrar respuestas. También forma criterio, estilo de razonamiento y capacidad para decidir qué vale la pena explorar. Ese punto aparece de forma implícita en la declaración y en la cobertura de Science: la preocupación no se limita a la calidad de los resultados, sino a la cultura de la disciplina. Si una parte creciente del trabajo llega ya empaquetada por sistemas automáticos, los investigadores temen que se debilite la formación de nuevas generaciones de matemáticos y la comprensión profunda de los problemas.
La comparación con otras áreas ayuda a entender el conflicto. En campos como la programación o el análisis de datos, la IA puede acelerar tareas sin cambiar del todo la lógica del oficio. En matemáticas, en cambio, la idea de prueba, autoría y comprensión está mucho más pegada a la identidad de la disciplina. Por eso la conversación no gira solo en la productividad, sino a qué significa hacer matemáticas y quién debe recibir crédito por ello. La declaración intenta fijar esa frontera antes de que la presión del mercado y de las empresas la difumine por completo.
Un debate que no se va a cerrar pronto
La nota también deja claro que el choque entre avance técnico y preocupación académica apenas empieza. La propia Declaración de Leiden reconoce que la IA puede abrir una etapa nueva en la historia de la matemática, pero insiste en que la comunidad debe decidir cómo la adopta. Ese matiz es de gran importancia porque no habla de una guerra entre humanos y máquinas, sino una negociación sobre normas, responsabilidades y límites. La discusión ya involucra a universidades, sociedades matemáticas, editores, gobiernos e industria.
En ese escenario, el futuro probable no es una expulsión de la IA, sino una convivencia más estricta. Los matemáticos no parecen dispuestos a renunciar a herramientas útiles, pero sí quieren evitar que el prestigio de una solución automática o de una demostración generada por modelo se coloque por encima del trabajo humano que la hace verificable.
Referencias
- Science. “Mathematicians issue warning as AI rapidly gains ground.” Science (2026). Click para ver
- Leiden Declaration on Artificial Intelligence and Mathematics. Declaración oficial, 2 de junio de 2026. Click para ver
- Wadham College, University of Oxford. “The Leiden Declaration on Artificial Intelligence and Mathematics is published.” 8 de junio de 2026. Click para ver
- Sloman, L. “Mathematicians sign declaration to rein in AI use.” Scientific American (2026). Click para ver
- OpenAI. “An OpenAI model has disproved a central conjecture in discrete geometry.” 20 de mayo de 2026. Click para ver
- Reuters. “Google and OpenAI’s AI models win milestone gold at global math competition.” 21 de julio de 2025. Click para ver
^^
