La inteligencia artificial redefine el horizonte de las matemáticas

Durante una conferencia en Filadelfia, el matemático Terence Tao expresó su preocupación respecto a la capacidad de la IA para demostrar teoremas sin que los humanos logren comprenderlos. Este comentario ha abierto un intenso diálogo en la comunidad matemática sobre el futuro de la disciplina y la influencia de la inteligencia artificial.

Los modelos de IA han mostrado un rendimiento impresionante, superando a competidores humanos en competiciones matemáticas y resolviendo problemas que han desafiado a matemáticos durante años. Sin embargo, Tao subrayó que la IA debería apoyar el pensamiento humano, en lugar de reemplazarlo. Herramientas como Lean, un lenguaje que convierte argumentos matemáticos en formatos verificables para computadoras, son ejemplos de cómo la IA puede integrarse en el proceso matemático, aunque no proporciona una explicación de por qué una demostración es válida.

Recientemente, OpenAI divulgó que sus modelos habían resuelto varios problemas matemáticos complejos, aunque la revisión posterior reveló que al menos una de las soluciones era incorrecta. Esto destaca la diferencia crítica entre generar una demostración que parezca válida y verificar su autenticidad.

La formación de nuevos investigadores en matemáticas podría verse alterada si la IA comienza a asumir tareas intermedias. La posibilidad de que gobiernos e instituciones reduzcan su apoyo a la educación matemática si consideran que la IA puede reemplazar a los expertos humanos es un tema de preocupación. El matemático Timothy Gowers advirtió sobre la posibilidad de que se genere una vasta cantidad de literatura matemática sin la intervención de humanos que puedan interpretarla.

En respuesta a estos desafíos, la Declaración Leiden ha sido formulada para abordar el impacto de la IA en las matemáticas, enfatizando la importancia de valores como la autonomía intelectual y la transparencia. Un resumen en Nature Machine Intelligence destaca que, a medida que la inteligencia artificial transforma las matemáticas, corresponde a la comunidad decidir cuáles son los principios que no desean delegar.