APREX · EST. 2026
Este es uno de esos casos en los que vale la pena detenerse un momento.
La Conjetura Jacobiana no es un rincón oscuro y de nicho de las matemáticas. Es un problema que fue formulado en 1939, que ha sobrevivido a generaciones de los mejores matemáticos del mundo, y que aparece en la lista de grandes problemas sin resolver en geometría algebraica. La afirmación, a grandes rasgos, trata sobre cuándo las transformaciones polinómicas en varias variables son invertibles — y ha desafiado pruebas y refutaciones durante casi nueve décadas.
Ahora, el matemático Levent Alpöge informa que utilizó el modelo más reciente de Anthropic, Claude Fable 5, para encontrar un contraejemplo concreto. En otras palabras: la conjetura no es cierta.
Este es un punto importante. Andrew Blumberg de Columbia ya ha comentado que esto es «exactamente el tipo de cosas» en las que se espera que la IA contribuya — encontrar contraejemplos compactos en enormes espacios de búsqueda donde la intuición humana no es suficiente. No se trata de que el modelo «entienda» las matemáticas de la misma manera que un investigador, sino de que puede navegar por un gigantesco espacio de parámetros de forma rápida y sistemática.
El contexto lo hace aún más interesante: Claude Opus 4.5 obtuvo menos del 10 % en FrontierMath Tier 4 a principios de 2026. Fable 5 obtiene un 88 %. No es una mejora gradual — es un salto cuántico en cuestión de meses.
En el hilo de HN se discute ahora intensamente si esto realmente se sostiene matemáticamente, qué significa para la verificación formal, y si Lean/Coq deberían usarse para verificar el resultado de forma independiente. Es la conversación correcta que tener. El consenso de la comunidad parece cautelosamente optimista, pero nadie lo ha descartado como una tontería todavía.
Cabe señalar que esta es una señal temprana basada en fuentes de la comunidad y material no revisado por pares hasta ahora. Pero las reacciones de matemáticos nombrados con afiliaciones institucionales creíbles le dan a esto más peso que a la mayoría de tales afirmaciones.
Si esto se mantiene, no es solo un hito técnico. Es una señal de que las matemáticas asistidas por IA están pasando de «herramienta útil» a «co-descubridor» — y que el ritmo de esta transición es más rápido de lo que la mayoría había anticipado.
Sigue el hilo de HN y mantente atento a si Alpöge publica un preprint.