Qué es la Conjetura Jacobiana, y por qué una conversación de Tao con ChatGPT sobre ella se volvió viral

Un enlace que circuló ampliamente esta semana entre programadores e investigadores no era ni el lanzamiento de un producto ni un artículo de investigación, sino una conversación de ChatGPT compartida: una transcripción que muestra al destacado matemático Terence Tao trabajando ideas relacionadas con la Conjetura Jacobiana, uno de los problemas abiertos más obstinados de la geometría algebraica, con un chatbot de IA como caja de resonancia. El intercambio ofrece una mirada poco habitual y sin filtros de cómo un matemático de primer nivel usa realmente las herramientas de IA mientras piensa en un problema difícil, en lugar de un resumen pulido de un resultado terminado.

La Conjetura Jacobiana, propuesta por primera vez por el matemático Ott-Heinrich Keller en 1939, se refiere a una clase específica de funciones polinómicas que aplican un espacio multidimensional sobre sí mismo. Dicho de forma sencilla, pregunta si una aplicación polinómica con una propiedad algebraica particular, un determinante jacobiano constante y distinto de cero, una magnitud del cálculo que mide cuánto estira o comprime el espacio una transformación, debe ser siempre invertible, es decir, si siempre debe ser posible deshacer la transformación mediante otra aplicación polinómica.

La conjetura suena acotada, pero se sitúa en la intersección de la geometría algebraica, el análisis complejo y los sistemas dinámicos, y ha resistido toda demostración durante más de ocho décadas pese a la atención sostenida de matemáticos serios. También se ha vuelto algo célebre dentro del campo por atraer, a lo largo de las décadas, un flujo constante de demostraciones propuestas que luego resultaron contener errores sutiles, un historial que ha hecho que los matemáticos sean particularmente cautelosos a la hora de reclamar una resolución, incluso parcial, sin una verificación extremadamente cuidadosa.

Lo que hace notable la conversación compartida no es que resuelva la conjetura, y nada en el intercambio equivale a una prueba o refutación verificada; los resultados matemáticos formales requieren una revisión por pares rigurosa que una transcripción de chat no puede sustituir. Lo que muestra, en cambio, es a un matemático en activo usando un sistema de IA como herramienta de pensamiento colaborativo, probando posibles enfoques, verificando manipulaciones algebraicas concretas y explorando si una línea de ataque particular hacia un contraejemplo podría sostenerse, de forma bastante similar a como un matemático podría pensar en voz alta con un colega o frente a una pizarra.

Este tipo de uso, a veces descrito como exploración matemática asistida por IA, difiere notablemente de pedirle a un sistema de IA que directamente produzca una demostración. El razonamiento matemático complejo y novedoso sigue siendo un área donde los sistemas de IA pueden hacer afirmaciones que parecen convincentes pero resultan finalmente incorrectas, en particular en problemas, como la Conjetura Jacobiana, donde errores sutiles han hecho tropezar a expertos humanos durante décadas. Los matemáticos que usan herramientas de IA en este modo exploratorio suelen tratar las sugerencias del sistema como hipótesis que deben verificarse de forma independiente, en lugar de como conclusiones fiables.

Tao ha sido una voz destacada y relativamente pública sobre cómo los matemáticos podrían usar de forma productiva las herramientas de IA, incluyendo experimentar con sistemas de IA como ayuda para explorar estrategias de demostración, verificar cálculos y formalizar argumentos en sistemas de verificación. Su disposición a compartir una conversación cruda y sin editar, incluyendo los posibles callejones sin salida o correcciones que contenga, ofrece un tipo de perspectiva distinto al de un anuncio pulido, mostrando el proceso más desordenado e iterativo del pensamiento matemático en lugar de un resultado terminado.

El episodio refleja un cambio más amplio en curso en la forma en que algunos investigadores, tanto en matemáticas como en otras ciencias, están incorporando los chatbots de IA a su proceso de trabajo diario, no como sustituto de la demostración formal o la derivación rigurosa, sino como una forma rápida e interactiva de poner a prueba ideas, detectar errores de cálculo o explorar un espacio de problemas antes de comprometerse con una línea de investigación más cuidadosa y formal. Ese cambio sigue siendo relativamente nuevo y se ha adoptado de forma desigual dentro de la comunidad matemática, con bastantes matemáticos en activo escépticos respecto a confiar en sistemas de IA para algo más que cálculos rutinarios.

Para quienes están fuera de las matemáticas, el atractivo de la conversación compartida reside en parte en su accesibilidad: observar a un experto destacado razonar en tiempo real sobre un problema genuinamente difícil y sin resolver, errores e incertidumbre incluidos, ofrece una imagen más honesta de cómo avanza realmente la investigación matemática que el relato limpio y retrospectivo que suele presentarse en un artículo publicado.

Si la línea de razonamiento concreta de la conversación de Tao termina llevando a algún lado respecto a la Conjetura Jacobiana sigue siendo una pregunta abierta, que se resolverá, si es que llega a resolverse, mediante el proceso tradicional de demostración formal y revisión por pares, y no a través de una transcripción de chat. Lo que el episodio ya ha demostrado, independientemente de adónde lleve ese hilo matemático concreto, es un vistazo de cómo las herramientas de IA están empezando a integrarse en los hábitos de trabajo incluso de los matemáticos más consagrados.