Claude participa en un hallazgo matemático decisivo

Tres puntos distintos entran en una transformación algebraica y los tres salen convertidos exactamente en el mismo punto. La transformación, sin embargo, conserva en cada lugar una propiedad que durante 87 años fue considerada suficiente para garantizar que ese tipo de operación podía invertirse. La contradicción cabe en unas pocas líneas y no exige confiar en una declaración institucional, en una demostración de cientos de páginas ni en el prestigio de quien la publica. Basta sustituir valores, calcular derivadas y comprobar el resultado.

El 20 de julio de 2026, el matemático Levent Alpöge difundió en X una función polinómica de tres variables y afirmó que la conjetura jacobiana era falsa. Agradeció a su colega Akhil Mathew por formular la pregunta y a “Fable” por trabajar en ella durante la final del Mundial. La referencia apuntaba a Claude Fable 5, un modelo de Anthropic cuya participación exacta en el descubrimiento no fue descrita públicamente con detalle.

La publicación fue informal, pero la evidencia matemática no lo era. La función tiene determinante jacobiano constante igual a menos dos. Al mismo tiempo, envía tres entradas diferentes al mismo resultado. Una transformación que hace eso no puede ser uno a uno y, por lo tanto, no puede poseer una inversa global. Es exactamente el tipo de objeto cuya existencia la conjetura negaba.

F(x,y,z) = (
(1+xy)³z + y²(1+xy)(4+3xy),
y + 3x(1+xy)²z + 3xy²(4+3xy),
2x - 3x²y - x³z
)

Por qué la fórmula basta

La conjetura jacobiana pertenece al álgebra y a la geometría de varias variables. Su formulación técnica pregunta si toda función polinómica de un espacio complejo de dimensión n hacia sí mismo, cuyo determinante jacobiano sea una constante distinta de cero, debe tener una inversa también polinómica. El enunciado parece breve. Su dificultad proviene de la distancia entre una propiedad local y una conclusión global.

El jacobiano es una matriz construida con las derivadas parciales de cada componente de la función respecto de cada variable. Describe cómo cambia la salida cuando las entradas se modifican ligeramente. Si su determinante no es cero en un punto, la transformación no aplasta ninguna dirección en el entorno inmediato de ese lugar. Cerca de allí, puede deshacerse. La conjetura sostenía que, cuando ese determinante es una constante no nula en todo el espacio y la función está formada por polinomios, esa reversibilidad local debía extenderse a toda la transformación.

El salto parecía razonable, pero nunca fue demostrado en general. Que una transformación sea reversible en cada vecindad pequeña no garantiza por sí mismo que dos regiones alejadas no terminen superpuestas. Una superficie puede conservar estructura local y, aun así, plegarse de manera que puntos distantes coincidan. La conjetura afirmaba que los polinomios con jacobiano constante impedían esa clase de colisión global.

La nueva función ataca el enunciado en su punto exacto. No discute una consecuencia secundaria ni depende de una interpretación. El determinante de la matriz de derivadas se simplifica a menos dos. Como nunca vale cero, cada punto tiene un entorno donde la función se comporta de manera reversible. Sin embargo, los puntos (0, 0, -1/4), (1, -3/2, 13/2) y (-1, 3/2, 13/2) producen la misma salida: (-1/4, 0, 0).

La colisión elimina cualquier posibilidad de una inversa global. Una operación inversa debería recibir (-1/4, 0, 0) y devolver un único origen. Aquí tendría tres candidatos. No existe una regla que pueda elegir uno sin perder los otros. Esa incompatibilidad no requiere una teoría adicional: surge de la definición de función invertible.

La verificación puede realizarse a mano, aunque resulta tediosa, o mediante cualquier sistema de álgebra computacional capaz de derivar y simplificar polinomios. Esa característica explica la rapidez con que matemáticos y programadores independientes comprobaron el hallazgo. A diferencia de una prueba extensa, donde un error puede esconderse en una cadena de argumentos, el nuevo resultado presenta un objeto concreto y dos pruebas operativas.

La refutación afecta a la conjetura en dimensión tres y, mediante la adición de coordenadas que permanecen sin cambios, a todas las dimensiones superiores. La situación en dimensión dos continúa abierta. Ese detalle impide decir que cada variante del problema quedó resuelta. Lo que cayó es la afirmación general de que la condición jacobiana bastaba en cualquier dimensión.

La economía del contraejemplo también tiene un efecto cultural. Un problema asociado con décadas de teoría especializada terminó quebrado por una fórmula que cabe en una publicación de redes sociales. La brevedad del resultado no reduce su profundidad. Muestra que el obstáculo no estaba necesariamente en ejecutar una demostración larga, sino en localizar una construcción precisa dentro de un espacio inmenso de posibilidades.

Qué hizo Fable 5 y qué todavía no se sabe

La atribución a Claude Fable 5 convirtió una noticia matemática en una noticia sobre capacidades de inteligencia artificial. Alpöge trabaja en Anthropic y posee una formación de alto nivel en teoría de números. Su mensaje acreditó al modelo, pero no publicó una transcripción completa, un cuaderno de búsqueda, un registro de herramientas ni una descripción metodológica que permita reconstruir la colaboración.

Ese vacío no invalida la fórmula. Sí limita las conclusiones sobre el grado de autonomía del sistema. Una máquina pudo haber generado la construcción casi completa después de recibir una pregunta general. También pudo haber trabajado dentro de una familia de funciones propuesta por el matemático, probado miles de coeficientes, simplificado expresiones o detectado una colisión que luego fue reorganizada por una persona. Todas esas formas de ayuda son relevantes, pero no significan lo mismo.

El lenguaje periodístico tiende a comprimir esa diferencia con verbos como “resolver” o “descubrir”. En matemática asistida por modelos, la pregunta decisiva no es solo quién escribió la expresión final. Importa quién formuló el objetivo, quién eligió la representación, qué herramientas externas fueron usadas, cuántas rutas fallidas se recorrieron y quién reconoció que un resultado intermedio tenía valor teórico.

El caso muestra una ventaja específica de la matemática para evaluar aportes de modelos. La confianza en el sistema puede separarse de la validez del resultado. Fable 5 pudo haber alucinado durante la mayor parte de la conversación, sugerido caminos inútiles o justificado mal la fórmula. Nada de eso altera el hecho de que el objeto final satisface las condiciones publicadas. El producto puede someterse a una prueba independiente de su autor.

Esa separación no existe con la misma limpieza en todos los campos. Una hipótesis médica puede depender de datos incompletos, sesgos experimentales y decisiones estadísticas. Una explicación histórica puede mezclar hechos con interpretaciones. Un diseño de ingeniería puede fallar bajo condiciones que no fueron simuladas. En este caso, la afirmación central se reduce a operaciones exactas sobre polinomios.

La verificabilidad, sin embargo, no elimina la necesidad de documentar el proceso. Para evaluar científicamente la capacidad de Fable 5 hace falta saber si la fórmula apareció como una propuesta directa, si fue hallada por búsqueda automatizada, si el modelo escribió código para explorar candidatos o si recibió pistas decisivas. Sin esa información, el episodio demuestra que una colaboración con el modelo produjo un resultado valioso. No demuestra por sí solo que el sistema pueda identificar de manera autónoma problemas abiertos, diseñar estrategias y validar sus propias soluciones.

La tabla separa la validez del contraejemplo de las afirmaciones sobre autonomía, origen y método de búsqueda.

También debe evitarse otro exceso. El resultado no prueba que los modelos comprendan la matemática como un investigador humano ni que puedan reemplazar la elaboración conceptual. Encontrar un contraejemplo es una forma de producción matemática extremadamente valiosa, pero la disciplina no se reduce a cerrar enunciados. Incluye explicar por qué una construcción funciona, conectar el hallazgo con teorías existentes, reformular problemas y decidir qué preguntas merecen años de trabajo.

Fable 5 parece haber intervenido en una zona donde los modelos pueden resultar especialmente poderosos: la exploración persistente de expresiones, la combinación de patrones conocidos y la búsqueda de objetos que satisfagan restricciones exactas. Un investigador puede descartar una familia de candidatos por parecer poco elegante o demasiado artificial. Un sistema automatizado no tiene esa resistencia estética y puede recorrer regiones que una persona considera improductivas.

El episodio también sugiere que la frontera entre lenguaje y cálculo se está debilitando. Los modelos avanzados ya no se limitan a explicar teoremas conocidos. Pueden formular código, llamar a sistemas simbólicos, comparar variantes y mantener una búsqueda durante períodos prolongados. La capacidad relevante no reside solo en producir texto matemático, sino en organizar herramientas alrededor de una hipótesis.

La investigación matemática cambia de escala

El contraejemplo llega en un momento en que los laboratorios de inteligencia artificial intentan trasladar el progreso observado en competencias matemáticas hacia la investigación abierta. Resolver ejercicios de olimpiada exige razonamiento sofisticado, pero cada problema fue diseñado para tener una solución accesible dentro de un marco conocido. Una conjetura abierta no ofrece esa garantía. Puede ser verdadera, falsa, indecidible con las herramientas disponibles o estar mal formulada.

La diferencia obliga a cambiar la forma de evaluar. En una competencia, el sistema recibe un enunciado y se mide si alcanza una respuesta. En investigación, una contribución puede consistir en encontrar un ejemplo, sugerir una estructura, detectar una reducción, construir una herramienta o descartar una ruta que consumía tiempo humano. El valor no siempre aparece como una prueba cerrada.

El caso de la conjetura jacobiana es particularmente instructivo porque convierte una búsqueda abierta en un problema de construcción. Para refutar el enunciado bastaba encontrar una función con dos propiedades simultáneas: determinante constante no nulo y falta de inyectividad. Es posible programar verificadores exactos para ambas condiciones. El espacio de candidatos sigue siendo gigantesco, pero cada propuesta puede clasificarse sin ambigüedad.

Esa estructura favorece los sistemas híbridos. Un modelo de lenguaje puede sugerir formas algebraicas, reconocer simetrías y modificar expresiones. Un sistema de álgebra computacional puede calcular el determinante sin errores de manipulación. Un programa de búsqueda puede variar coeficientes. Un matemático puede imponer restricciones que reduzcan el espacio y reconocer cuándo una construcción tiene consecuencias generales.

La combinación modifica la economía de la investigación. Muchas horas de trabajo matemático se consumen en explorar objetos que terminan siendo irrelevantes. Una máquina capaz de generar y filtrar candidatos durante una noche no reemplaza el criterio, pero puede multiplicar la cantidad de caminos examinados. El resultado público de Alpöge muestra el extremo favorable de esa dinámica: una exploración que desemboca en un objeto decisivo y fácil de comprobar.

También expone una nueva asimetría. Producir un candidato puede requerir recursos computacionales, modelos internos y conocimiento sobre cómo dirigirlos. Verificar el resultado final puede ser barato. Eso permite que el descubrimiento se concentre en pocos laboratorios mientras la validación permanece abierta a la comunidad. La transparencia del producto no garantiza transparencia sobre el proceso que lo generó.

La ventaja competitiva de las empresas podría desplazarse desde el acceso a publicaciones y bases de datos hacia la capacidad de ejecutar búsquedas largas con modelos no disponibles al público. Si Fable 5 es un sistema interno, otros investigadores pueden comprobar la fórmula, pero no repetir el experimento bajo las mismas condiciones. La reproducibilidad queda dividida: el resultado es reproducible; el procedimiento de descubrimiento, por ahora, no.

Para las universidades y organismos científicos, el desafío será decidir qué infraestructura necesitan para no convertirse en simples revisores de hallazgos producidos dentro de compañías privadas. El acceso a cómputo, agentes de larga duración, herramientas simbólicas y registros de experimentación puede volverse tan importante como el acceso a revistas. La matemática, que durante mucho tiempo pareció depender principalmente de papel, conversación y tiempo intelectual, empieza a adquirir una capa de infraestructura intensiva.

Esa transformación no elimina la responsabilidad humana. Un sistema puede encontrar una fórmula que invalida una creencia, pero alguien debe explicar su lugar en la disciplina, revisar consecuencias, corregir afirmaciones exageradas y decidir qué líneas se abren después. La caída de la conjetura general no resuelve el caso bidimensional. Tampoco sustituye la tarea de comprender por qué la construcción de Alpöge y Fable funciona y qué familia más amplia podría contenerla.

La siguiente etapa será menos espectacular que la publicación original y quizá más importante. Matemáticos especializados analizarán la estructura del mapa, buscarán versiones más simples, estudiarán su relación con reducciones clásicas y revisarán qué resultados dependían de la conjetura general. Una refutación no cierra un territorio. Reorganiza sus fronteras.

La fórmula publicada por Alpöge tiene una cualidad poco frecuente en las noticias sobre inteligencia artificial: el núcleo del anuncio resiste la comprobación directa. No depende de una demostración preparada por la empresa ni de una comparación diseñada por el proveedor. El determinante puede calcularse. Los tres puntos pueden sustituirse. La contradicción aparece.

La cautela debe concentrarse en otro lugar. Todavía no se sabe cuánto del camino recorrió Fable 5, qué clase de interacción sostuvo con Alpöge ni si el procedimiento puede repetirse. El hallazgo muestra una capacidad de colaboración científica que merece atención. Convertirlo en prueba de autonomía general sería reemplazar una conjetura matemática refutada por una conjetura tecnológica todavía sin demostrar.

La escena final no es la de una máquina que se queda con el oficio del matemático. Es la de un investigador que recibe una construcción inesperada, la reconoce, la publica y permite que otros la desarmen pieza por pieza. La conjetura cayó porque la fórmula soportó esa exposición. El modelo importa por haber ayudado a encontrarla. La matemática importa porque no le exigió a nadie creerle.