El dilema de la inteligencia artificial en el ámbito matemático
Durante una conferencia en Filadelfia, el matemático Terence Tao planteó una inquietante posibilidad en torno a la inteligencia artificial (IA) y su capacidad para demostrar teoremas sin la intervención humana. Esta afirmación ha suscitado un amplio debate sobre el futuro de las matemáticas y el impacto de la IA en esta disciplina.
Tao destacó que estamos cerca de ver resultados matemáticos significativos validados por la IA sin que un humano pueda comprender o explicar los procesos detrás de ellos. Aunque la perspectiva es alarmante, muchos matemáticos utilizan la IA en su trabajo diario de manera menos apocalíptica. Por ejemplo, existen lenguajes de programación como Lean, que permiten convertir argumentos matemáticos en formatos que los ordenadores pueden verificar, aunque no ofrecen explicaciones sobre su validez.
Recientemente, OpenAI reveló que sus modelos de IA habían abordado con éxito diez problemas matemáticos complejos, aunque una revisión posterior indicó que al menos una de las soluciones era incorrecta. Esto resalta la diferencia entre generar una demostración matemática convincente y confirmar su validez.
La formación de matemáticos tradicionalmente involucra la resolución de problemas más accesibles, donde se aprende a través de la práctica y el error. Si la IA comienza a realizar estas tareas intermedias, podría transformar la educación en matemáticas y reducir el apoyo de instituciones y gobiernos hacia universidades y grupos de investigación, bajo la creencia de que la IA podría reemplazar a los matemáticos.
El matemático Timothy Gowers advirtió sobre un posible futuro en el que la literatura matemática se expanda sin la guía de expertos que comprendan su significado. Como solución, Daniel Litt propuso crear una biblioteca de demostraciones de teoremas que incluya explicaciones, de manera que la IA no anule la disciplina, sino que cada descubrimiento se convierta en un nuevo objeto de estudio.
Por otro lado, la Declaración Leiden busca formular una respuesta humana al desafío que representa la IA en el ámbito matemático, valorando aspectos como la autonomía intelectual y la transparencia. Un resumen en Nature Machine Intelligence enfatiza que, aunque los avances tecnológicos están transformando el campo de las matemáticas, corresponde a la comunidad decidir qué principios no está dispuesta a delegar.
