Fable 5 Refuta la Conjetura Jacobiana, Según Investigador

El investigador de Anthropic Levent Alpöge anunció que Claude Fable 5 ha refutado la conjetura Jacobiana, un problema de 87 años en geometría algebraica que ha resistido solución desde que Ott-Heinrich Keller lo planteó en 1939. El resultado — verificado en el asistente de demostraciones Lean en cuestión de horas, según dijo el matemático del Imperial College Kevin Buzzard a Fortune — marca la segunda vez en dos semanas que la IA frontier produce resultados sobre problemas que definieron preguntas abiertas durante generaciones, informa Fortune.

Qué pasó

El 20 de julio, el investigador de Anthropic Levent Alpöge anunció en X que había usado Claude Fable 5 para encontrar un contraejemplo a la conjetura Jacobiana (Alpöge, 2026). La publicación superó los 30 millones de visualizaciones. A la mañana siguiente, la demostración había sido verificada en Lean.

La conjetura concierne lo que los matemáticos llaman aplicaciones polinómicas — específicamente, si una aplicación cuyo determinante jacobiano es una constante no nula debe ser unívocamente invertible. El contraejemplo de Alpöge produjo tres entradas diferentes que se asignaban a la misma salida manteniendo un determinante jacobiano constante de −2, refutando la afirmación central de la conjetura.

"Es un gran día", dijo el matemático del Imperial College Kevin Buzzard a Fortune.

Dos semanas antes, OpenAI atribuyó una demostración de la conjetura del ciclo doble — otro problema abierto desde hace mucho, este en teoría de grafos — a GPT-5.6 Sol (AI Weekly, 2026), aunque la afirmación no ha sido revisada por pares de forma independiente. La velocidad es la noticia: la IA frontier ahora produce resultados sobre problemas que resistieron solución durante décadas.

Por qué importa

Esto no es fuerza bruta. OpenAI supuestamente usó paralelismo masivo — 64 subagentes. Anthropic usó un solo investigador en una sesión enfocada con Fable 5. La diversidad de enfoques sugiere que la IA frontier es ampliamente capaz a través de paradigmas.

La brecha entre verificación y comprensión es real. El matemático de la Universidad de Chicago Akhil Mathew capturó la tensión: "Uno puede comprobar que es correcto, pero sería bueno poder contar una historia." La IA produce la demostración pero no puede explicar cómo llegó allí.

Ni OpenAI ni Anthropic construyeron estos modelos para matemáticas. Fable 5 y GPT-5.6 Sol fueron entrenados como modelos frontier de propósito general. Descifrar conjeturas como efecto secundario es la verdadera señal.

Qué cambia para ti

Esto es una señal de capacidad, no un cambio de producto. El veredicto del directorio de Fable 5 se mantiene Conditional.

Si trabajas en matemáticas de investigación:

• Explora modelos frontier para descubrimiento de demostraciones. El resultado de Alpöge demuestra que un solo investigador puede abordar problemas que definen un campo.
• La verificación en Lean cambia el modelo de confianza. Las demostraciones generadas por IA comprobadas por máquina eliminan los cuellos de botella de meses de revisión por pares.
• No esperes que la IA reemplace la intuición matemática. Saber qué preguntar sigue siendo una habilidad humana.

FAQ

¿Qué es la conjetura Jacobiana? Un problema de geometría algebraica planteado por Ott-Heinrich Keller en 1939. Alpöge encontró un contraejemplo que refuta la conjetura.

¿Fue resuelto completamente por IA? No. Alpöge guió a Fable 5 a través del problema. La IA fue una herramienta, no un matemático autónomo.

¿Es la primera vez que la IA resuelve un gran problema matemático? No. La IA frontier lleva meses produciendo matemáticas publicables. La conjetura Jacobiana es el resultado más destacado hasta ahora.