Los recientes avances en inteligencia artificial están tomando un rumbo hacia lo desconocido en el campo de las matemáticas. Terence Tao, un destacado matemático, planteó en una conferencia en Filadelfia que las IA podrían llegar a demostrar teoremas complejos sin que los humanos comprendan el proceso. Este escenario, discutido por varios expertos, abre un diálogo sobre el futuro de las matemáticas y el papel de la IA en la resolución de problemas que han desafiado a los matemáticos durante décadas.
La IA no solo ha cambiado la manera en que se aborda la educación en matemáticas, sino que se ha demostrado su capacidad para superar a competidores humanos en competiciones académicas y resolver problemas que antes parecían insuperables. Sin embargo, los especialistas coinciden en que por el momento, su uso en matemáticas es más asistencial que sustitutivo, enfocándose en tareas como la revisión de fuentes y la ayuda en la construcción de ejemplos complicados.
Existen lenguajes diseñados para validar argumentos matemáticos como Lean, que convierten pruebas en objetos que pueden ser verificados por computadoras. Esto permite confirmar la validez de las demostraciones, aunque no ofrece claridad sobre su razonamiento. Recientemente, OpenAI destacó que sus modelos habían ayudado a resolver problemas matemáticos complejos, aunque también admitió que no todas las soluciones eran correctas, lo que indica la necesidad de un control más riguroso en este tipo de validaciones.
Los matemáticos expresan preocupación por el impacto de la IA en la enseñanza de la disciplina. Aprender matemáticas implica un proceso de ensayo y error que se podría ver comprometido si la IA asume gran parte de esa carga. Esto podría afectar no solo la formación de nuevos investigadores, sino también la percepción pública sobre la relevancia de la educación matemática en lugares como España, donde ya enfrentan desafíos de financiación.
El debate sobre el futuro de la matemática en un mundo dominado por la IA incluye la posibilidad de crear una vasta cantidad de teorías y resultados que podrían ser incomprendidos por los expertos humanos. Timothy Gowers y otros proponen la necesidad de documentación que explique las demostraciones matemáticas, de modo que la IA no solo genere soluciones, sino que también facilite el entendimiento humano de las mismas.
Ante estos desafíos, se ha creado la Declaración Leiden, un intento de preservar valores fundamentales de la investigación matemática, como la autonomía intelectual y la transparencia. Esta discusión resalta la importancia de la comunidad matemática para decidir cómo integrar la IA sin perder la esencia del pensamiento matemático.