⏱️ Lectura: 12 min
Una conjetura matemática de 1939 sigue sin caer, ni siquiera con un chatbot ayudando a buscarle la vuelta. En julio de 2026 circuló un hilo público de ChatGPT donde alguien exploraba, paso a paso, un posible contraejemplo a la conjetura del Jacobiano: uno de los problemas abiertos más longevos del álgebra, incluido en la lista de retos matemáticos del siglo XXI de Steve Smale.
📑 En este artículo
El resultado del hilo no cambia el estado del problema: no hay contraejemplo validado. Pero sí es una excusa perfecta para entender qué dice esta conjetura, por qué le importa a cualquiera que trabaje con álgebra computacional o criptografía basada en polinomios, y cómo podés vos mismo poner a prueba mapas polinomiales con un puñado de líneas de Python.
TL;DR
- La conjetura del Jacobiano, planteada por Ott-Heinrich Keller en 1939, sigue sin demostrarse ni refutarse en 2026.
- Afirma que un mapa polinomial de C^n a C^n con jacobiano constante y no nulo es invertible con inversa polinomial.
- Steve Smale la incluyó en 1998 como el problema número 16 de su lista de 18 retos para el siglo XXI.
- Wang demostró en 1980 que la conjetura es cierta para todo mapa polinomial de grado 2, en cualquier dimensión.
- Bass, Connell y Wright (1982), junto con Yagzhev (1980), redujeron el caso general a mapas cúbicos homogéneos.
- Un hilo público de ChatGPT sobre un posible contraejemplo circuló en julio de 2026 y reabrió el debate.
- Con la librería SymPy en Python podés verificar en minutos si un mapa polinomial cumple la condición jacobiana.
- Ningún contraejemplo propuesto hasta hoy resistió una verificación formal rigurosa.
Qué pasó
El hilo que reactivó la conversación no es un paper ni un preprint: es una sesión pública de ChatGPT donde alguien fue construyendo, de forma iterativa, mapas polinomiales candidatos y pidiéndole al modelo que calculara determinantes jacobianos y evaluara si algún mapa rompía la conjetura. Es exactamente el tipo de uso que se volvió común en 2026: un chatbot como calculadora simbólica de bolsillo para explorar estructuras algebraicas antes de sentarse a demostrar algo en serio.
Lo importante, y lo que conviene aclarar de entrada, es que ningún resultado de ese tipo de exploración cuenta como prueba matemática. Un modelo de lenguaje puede cometer errores de álgebra sutiles, y la conjetura del Jacobiano tiene una larga historia de intentos de prueba y de contraejemplo que resultaron, tras revisión, equivocados. La forma correcta de leer este episodio es como una demostración de cómo se usa la IA hoy para explorar matemática, no como una noticia de que el problema se resolvió.
Contexto e historia de la conjetura del Jacobiano
El matemático alemán Ott-Heinrich Keller propuso el problema en 1939 al preguntarse si ciertos mapas polinomiales con determinante jacobiano igual a 1 tenían inversa polinomial. La formulación moderna es más general: dado un mapa F: C^n → C^n cuyas componentes son polinomios, si el determinante de la matriz jacobiana de F es una constante distinta de cero en todo punto, entonces F debería ser invertible y su inversa debería ser, otra vez, un mapa de polinomios.
En 1998, Steve Smale publicó su famosa lista de 18 problemas matemáticos para el siglo XXI, inspirada en los problemas de Hilbert de 1900. La conjetura del Jacobiano ocupa el puesto número 16 de esa lista, junto a preguntas sobre la hipótesis de Riemann o el límite de la complejidad computacional.
Desde 1939 hubo docenas de intentos de prueba, varios publicados en revistas serias, que terminaron refutados años después por errores en el álgebra. Ese historial de falsos positivos es justamente lo que obliga a tratar con escepticismo cualquier anuncio informal, incluido el que circuló como conversación de ChatGPT: el problema tiene fama de tragarse pruebas aparentemente sólidas.
Detalles técnicos: qué se sabe probado y qué sigue abierto
No todo es incertidumbre. Hay resultados parciales sólidos que acotan el problema. Wang demostró en 1980 que la conjetura es cierta cuando el grado del mapa polinomial es menor o igual a 2, sin importar la dimensión n. Para mapas de grado 3 en adelante, el problema se mantiene abierto en el caso general.
Un avance clave fue la reducción del problema completo al caso de mapas cúbicos homogéneos: Yagzhev en 1980, y de forma independiente Bass, Connell y Wright en 1982, probaron que si la conjetura es cierta para todo mapa de la forma F(x) = x - H(x), donde H es un mapa homogéneo de grado 3, entonces es cierta para cualquier grado y dimensión. Esto no resuelve el problema, pero concentra toda la dificultad en una familia mucho más manejable de mapas.
| Caso | Estado | Quién y cuándo | Limitación |
|---|---|---|---|
| Grado ≤ 2, cualquier dimensión | Demostrado | Wang, 1980 | No cubre grados mayores |
| Grado ≤ 100 en dos variables | Verificado por cómputo | Moh, década de 1980 | Solo aplica cuando n = 2 |
| Reducción a mapas cúbicos homogéneos | Demostrado | Yagzhev (1980), Bass-Connell-Wright (1982) | Simplifica el problema, no lo resuelve |
| Caso general, grado arbitrario, n ≥ 2 | Abierto | Sin resolver desde 1939 | Ningún método conocido cubre todos los casos |
Hay un matiz que suele confundirse y que vale la pena aclarar porque también apareció en el hilo de ChatGPT: existe una versión real del problema (mapas de R^n a R^n en vez de C^n a C^n) y ahí sí hay un contraejemplo conocido. El matemático Serguéi Pinchuk construyó en 1994 un mapa polinomial real de dos variables con jacobiano positivo en todo punto pero que no es globalmente invertible, refutando la versión real de la conjetura. Sin embargo, esa construcción no dice nada sobre la versión compleja, que es la que realmente se conoce como conjetura del Jacobiano y la que sigue abierta: las propiedades de los polinomios sobre R y sobre C no son intercambiables.
flowchart TD
A["Mapa polinomial general"] --> B["Reducción de Bass, Connell y Wright (1982)"]
B --> C["Mapa cúbico homogéneo equivalente"]
C --> D{"¿Determinante jacobiano es constante?"}
D -->|"Sí"| E["Se busca inversa polinomial"]
D -->|"No"| F["No aplica la conjetura"]
📌 Nota: el contraejemplo de Pinchuk es real (R^2), no complejo (C^2). Son conjeturas distintas: confundirlas es el error más común al leer sobre este tema.
Cómo probarlo vos mismo
No hace falta ser especialista en geometría algebraica para experimentar con la condición jacobiana. Alcanza con Python y la librería SymPy, que hace álgebra simbólica exacta.
Instalación en Windows (PowerShell):
py -m venv venv
venv\Scripts\Activate.ps1
pip install sympyInstalación en macOS:
python3 -m venv venv
source venv/bin/activate
pip install sympyInstalación en Linux:
python3 -m venv venv
source venv/bin/activate
pip install sympyCon el entorno listo, este script arma el mapa polinomial más simple que cumple la condición jacobiana (uno triangular, con inversa obvia) y verifica el determinante:
import sympy as sp
x, y = sp.symbols('x y')
F = sp.Matrix([x + y**2, y])
J = F.jacobian([x, y])
det_J = sp.simplify(J.det())
print("Jacobiano:", J.tolist())
print("Determinante:", det_J)
print("Constante y no nulo:", det_J.is_constant() and det_J != 0)Este mapa da determinante 1 en todo punto, y en efecto tiene inversa polinomial: (x - y**2, y). Es el ejemplo de juguete que cualquier libro de texto usa para ilustrar la conjetura antes de complicarse con mapas cúbicos.
Para explorar candidatos más interesantes, conviene generar mapas cúbicos homogéneos siguiendo la reducción de Bass-Connell-Wright y comprobar en lote si alguno mantiene el determinante constante:
import sympy as sp
import itertools
def es_candidato_valido(componentes, variables):
F = sp.Matrix(componentes)
J = F.jacobian(variables)
det_J = sp.simplify(J.det())
return det_J.is_constant() and det_J != 0
x1, x2, x3 = sp.symbols('x1 x2 x3')
variables = [x1, x2, x3]
# Ejemplo de mapa candidato tipo Druzkowski: x - (A*x)^3 componente a componente
candidato = [x1 - x3**3, x2 - x1**3, x3 - x2**3]
print("Es candidato valido:", es_candidato_valido(candidato, variables))Correr variaciones de este patrón, cambiando los coeficientes y las combinaciones lineales dentro del cubo, es exactamente el tipo de búsqueda por fuerza bruta que se usó para verificar computacionalmente el caso de dos variables hasta grado 100. Es también, en esencia, lo que un chat de IA puede ayudar a generar más rápido: variaciones del patrón para probar, no la demostración en sí.
Impacto y análisis
La conjetura del Jacobiano no es solo curiosidad académica. Los mapas polinomiales invertibles con inversa polinomial (llamados automorfismos polinomiales) aparecen en geometría algebraica, en teoría de sistemas dinámicos y en propuestas de criptografía basada en polinomios multivariados, donde la dificultad de invertir ciertos mapas es justamente lo que se explota como problema difícil.
El episodio del hilo de ChatGPT es interesante menos por el resultado matemático (que no cambió) y más por lo que expone sobre el rol actual de los LLM en investigación exploratoria: sirven para generar candidatos, automatizar cálculos tediosos de álgebra y descartar rápido ideas que no funcionan. Lo que no hacen, todavía, es reemplazar la verificación formal.
⚠️ Ojo: un LLM puede simplificar mal una expresión algebraica compleja y presentar el error con total confianza. Cualquier cálculo jacobiano generado por IA necesita re-verificarse con una herramienta simbólica determinista como SymPy o Mathematica antes de tomarlo en serio.
La limitación honesta acá es doble. Primero, el espacio de mapas cúbicos homogéneos candidatos crece muy rápido con la dimensión, así que la búsqueda por fuerza bruta (asistida o no por IA) tiene un techo práctico: cubre casos pequeños, no prueba el caso general. Segundo, incluso si alguna vez aparece un mapa que en apariencia cumple la condición jacobiana y no tiene inversa evidente, demostrar rigurosamente la no invertibilidad es un problema en sí mismo, no algo que se resuelva con una corrida de código.
Qué sigue
Nada indica que la conjetura del Jacobiano esté cerca de resolverse en el corto plazo: lleva 87 años abierta y ha sobrevivido a intentos de matemáticos profesionales con más recursos que un hilo de chat. Lo que sí es previsible es que se sigan multiplicando este tipo de exploraciones asistidas por IA, porque bajan drásticamente el costo de generar y descartar candidatos.
Para la comunidad de álgebra computacional, el punto de atención real no es si un chatbot va a resolver el problema, sino si estas herramientas ayudan a los investigadores humanos a cubrir más terreno de búsqueda antes de invertir semanas en un intento de demostración formal.
📖 Resumen en Telegram: Ver resumen
Probalo vos: instalá SymPy con pip install sympy y corré el chequeo del jacobiano sobre tu propio mapa polinomial en menos de cinco minutos.
Preguntas frecuentes
¿Qué es la conjetura del Jacobiano en términos simples?
Es la afirmación de que si transformás variables con polinomios y esa transformación no “aplasta” el espacio en ningún punto (determinante jacobiano constante y no nulo), entonces la transformación se puede deshacer usando también solo polinomios.
¿Por qué es tan difícil de demostrar?
Porque aunque el enunciado suena simple, la reducción al caso cúbico homogéneo sigue dejando un espacio de mapas posibles demasiado grande para analizar caso por caso, y no existe todavía una técnica general que cubra todas las dimensiones y grados a la vez.
¿Existe algún contraejemplo conocido?
Sí, pero de la versión real del problema (mapas R^2 a R^2), construido por Pinchuk en 1994. La versión compleja, que es la conjetura del Jacobiano propiamente dicha, sigue sin contraejemplo ni demostración.
¿Sirve la IA para resolver este tipo de problemas?
Sirve como asistente de cálculo y para explorar candidatos más rápido, pero cualquier resultado necesita verificación simbólica independiente. No hay ningún caso validado de un LLM demostrando o refutando la conjetura por sí solo.
¿Qué aplicaciones prácticas tiene esta conjetura?
Toca geometría algebraica, sistemas dinámicos polinomiales y algunos esquemas criptográficos basados en la dificultad de invertir mapas polinomiales multivariados.
¿Dónde puedo seguir la discusión o intentar mi propio análisis?
El hilo original de ChatGPT que reactivó el tema está enlazado en las referencias, y con SymPy podés replicar y extender las verificaciones descritas en este artículo.
Referencias
- Conversación de ChatGPT: el hilo público que exploraba un posible contraejemplo y reactivó la discusión en julio de 2026.
- Jacobian conjecture, Wikipedia: resumen del enunciado, historia y resultados parciales probados.
- Smale’s problems, Wikipedia: la lista de 18 problemas matemáticos para el siglo XXI publicada por Steve Smale en 1998.
- SymPy: la librería de álgebra simbólica en Python usada en los ejemplos de código de este artículo.
📱 ¿Te gusta este contenido? Únete a nuestro canal de Telegram @programacion donde publicamos a diario lo más relevante de tecnología, IA y desarrollo. Resúmenes rápidos, contenido fresco todos los días.
0 Comentarios