La IA de ChatGPT empieza a resolver teoremas imposibles que los matemáticos no lograban descifrar
Los modelos lingüísticos ya no solo inventan historias; ahora demuestran teoremas. Los sistemas como el nuevo motor de OpenAI o AlphaGeometry de Google están cambiando las matemáticas puras para siempre.
ChatGPT no solamente sirve para crear vídeos o textos. La inteligencia artificial ya parece ser capaz de enfrentarse a algo que tradicionalmente se le venía resistiendo: las matemáticas. No solo parece capaz de resolver problemas que, al menos hasta ahora, parecían reservados para el ingenio del ser humano. También podría revolucionar por entero el mundo de las cuentas.
No son pocos los expertos que hablan de cómo herramientas como ChatGPT ya están formando parte de experimentos reales. Por ejemplo detectando patrones, sugiriendo hipótesis, explorando millones de posibilidades e incluso ayudando a desarrollar nuevas demostraciones. Es algo que fascina a numerosos especialistas, pero que también provoca preocupación entre ellos.
En realidad, se trata de un salto enorme para la IA. Para empezar, porque las matemáticas se han considerado tradicionalmente como un símbolo del razonamiento humano. ¿Querría decir eso que ChatGPT y otros chatbots de inteligencia artificial similares están más cerca de las facultades de las personas de lo que se imaginaba? ¿Qué significa exactamente este progreso?
Hay que tener presente que las matemáticas avanzadas no se limitan a aquello que se puede resolver fácilmente con una calculadora. Además de una lógica rigurosa, dicen los expertos, también es necesario disponer de creatividad, intuición o capacidad de generalización. Es decir, facultades que hasta ahora parecía que no podría tener ninguna máquina como ChatGPT.
ChatGPT sorprenden incluso a los matemáticos más escépticos
Como explica Nature, hay un caso reciente que ejemplifica bien todo este asunto de ChatGPT, y que no ha tardado en dar la vuelta al mundo. Está protagonizado por un joven llamado Liam Price. Este utilizó ChatGPT como apoyo para trabajar en un problema matemático avanzado pese a no tener formación universitaria formal en matemáticas.
Prince no tardó en demostrar que la IA reducía las barreras de entrada al conocimiento matemático especializado. O dicho de otra forma, que ChatGPT podría democratizar parcialmente ciertas formas de investigación y exploración intelectual. Algunos, incluso lo comparan a momentos tan determinantes como la creación de las propias calculadoras, que también cambiaron la forma de entender las matemáticas.
Por supuesto, y tal y como era de esperar, el avance de la IA en matemáticas también está generando cierta inquietud. Algunos científicos temen que las nuevas generaciones dependan demasiado de herramientas automáticas y pierdan comprensión profunda de los fundamentos matemáticos.
Y no es la única preocupación. Igualmente se teme que los investigadores empiecen a confiar en resultados producidos por IA simplemente porque suenen convincentes. Por no hablar de una cuestión que roza lo filosófico: si una inteligencia artificial llega a descubrir una demostración extremadamente compleja que ningún humano entiende, ¿seguirían siendo matemáticas?
Algunos expresan que quizá sería más preciso decir que se trataría de en una nueva forma de conocimiento parcialmente inaccesible para nuestra mente. Con todo lo que eso conllevaría, claro. Hasta llega a sonar un poco a ciencia ficción, para qué negarlo.
En cualquier caso, ChatGPT ha demostrado que la IA no solo puede ayudar en distintas tareas, sino también descubrir conocimiento nuevo. Y eso, en lo que respecta a las matemáticas, no es precisamente cualquier cosa.