"Estamos cerca que la IA resuelva un problema y los humanos no puedan explicarlo": los matemáticos opinan sobre la IA
Los modelos de inteligencia artificial (IA) han alcanzado un punto en el que pueden resolver problemas matemáticos que han desafiado a los humanos durante décadas. Sin embargo, surge una inquietante posibilidad: ¿qué sucede si ningún matemático humano puede entender realmente cómo la IA ha llegado a esas soluciones? Esta cuestión fue planteada por Terence Tao en una reciente conferencia en Filadelfia, donde afirmó que estamos «muy, muy cerca de que un resultado matemático importante quede demostrado y verificado sin que ningún humano pueda comprenderlo y explicarlo».
La trayectoria de la IA en matemáticas ha sido impresionante. Hace apenas tres años, la IA era vista como una herramienta para aprobar exámenes o realizar operaciones aritméticas básicas. Hoy, ha superado a sus contrincantes en olimpiadas matemáticas y ha resuelto problemas complejos que llevaban décadas sin solución. Este avance plantea un futuro inquietante en el que la IA podría dominar las matemáticas de manera similar a como lo hizo con el ajedrez.
En la conferencia de Filadelfia, Kai Williams, un periodista especializado en IA, entrevistó a varios matemáticos. Jacob Tsimerman, reciente ganador de la Medalla Fields y nuevo miembro de OpenAI, afirmó que la IA pronto será «robustamente sobrehumana» en el ámbito matemático. Por otro lado, Yu Deng, otra medallista, expresó un enfoque más optimista, sugiriendo que los humanos seguirán creando teorías e ideas, mientras que las máquinas se encargarán de los detalles técnicos.
Por ahora, el uso de la IA en matemáticas es menos apocalíptico de lo que podría parecer. Los matemáticos la utilizan para consultar bibliografía poco conocida, buscar ejemplos complejos o revisar borradores. Terence Tao, junto con Tanya Klowden, defiende que la IA debe asistir y ampliar el pensamiento humano, no sustituirlo.
Sin embargo, existe una preocupación creciente sobre el impacto de la IA en la formación de futuros matemáticos. Si la IA absorbe el trabajo intermedio y los gobiernos e instituciones creen que puede sustituir a los matemáticos, podría reducirse el apoyo a universidades y grupos de investigación. Esto podría llevar a una situación en la que tengamos una vasta literatura matemática sin expertos humanos que la comprendan.
El profesor Daniel Litt de la Universidad de Toronto propone una solución: construir una biblioteca con demostraciones de todos los teoremas, acompañadas de guías que expliquen paso a paso esas respuestas. De esta manera, la IA no acabaría con las matemáticas, sino que convertiría cada solución en un nuevo objeto de estudio.
El debate sobre el impacto de la IA en las matemáticas continúa, y la Declaración Leiden intenta articular una respuesta humana al respecto, preservando valores como la autonomía intelectual y la transparencia.