El dilema de la inteligencia artificial en las matemáticas: ¿Qué futuro espera a los investigadores?

La comunidad matemática internacional enfrenta interrogantes sin precedentes tras los recientes logros de OpenAI en la resolución de problemas que han desafiado a especialistas durante décadas. A principios de septiembre, un sistema de inteligencia artificial desarrollado por la empresa californiana logró resolver la ecuación de Navier-Stokes, formulada en 1845, en menos de cuatro días. Este hito ha generado reflexiones profundas entre los principales académicos del mundo. Terence Tao, galardonado con la medalla Fields en 2006, expresó sentirse perturbado por las implicaciones que esto representa para su disciplina. Durante este año, sistemas de IA también han refutado varias conjeturas matemáticas reconocidas, aunque el progreso alcanzado con Navier-Stokes representa un salto cualitativo significativo. Steven Strogatz, docente en Cornell, advierte que si estos sistemas se dedican a los problemas que ocupan a los investigadores, podrían solucionarlos con relativa facilidad. La capacidad de las herramientas de inteligencia artificial ha mejorado sustancialmente. Antonio Auffinger, académico de Northwestern, destaca que hace apenas un año los modelos más sofisticados cometían errores frecuentes en su razonamiento, mientras que actualmente pueden construir argumentaciones extensas sin desviarse. El enfoque de OpenAI se distingue por otorgar mayor autonomía al sistema de inteligencia artificial en el proceso de resolución. Elon Musk, presidente de SpaceXAI, predijo hace meses que la inteligencia artificial dominaría completamente las matemáticas dentro de doce meses. Benjamin Antieau, también de Northwestern, reconoce el impacto del logro pero subraya que OpenAI no comenzó desde cero, sino que utilizó metodologías que otros académicos, incluidos investigadores españoles, ya estaban desarrollando. Los matemáticos Tristan Buckmaster y Levent Alpöge sostienen haber avanzado hacia la solución previamente, incluso cuestionando si hubo apropiación de sus trabajos, algo que OpenAI ha desmentido categóricamente. Mohammed Abouzaid de Stanford plantea una perspectiva diferente, señalando que la inteligencia artificial amplifica los horizontes de lo demostrable, pero no necesariamente expande el espectro creativo de la investigación. Para Abouzaid, no se evidencia un salto innovador que enriquezca fundamentalmente la disciplina matemática con nuevas ideas paradigmáticas.