Un matemático de Anthropic ha utilizado la IA Claude de la empresa para refutar la conjetura de Jacobi, un problema que había desconcertado a los investigadores durante 87 años. El resultado, confirmado esta semana, tiene implicaciones inmediatas para los sistemas criptográficos que dependen de la dificultad de las ecuaciones polinómicas.
El problema de 87 años
La conjetura de Jacobi, planteada por primera vez en 1939, pregunta si un mapa polinómico con un determinante jacobiano constante no nulo debe tener una inversa polinómica. Durante décadas, los matemáticos creyeron que era cierta, pero nadie pudo demostrarla. La conjetura se encontraba en la misma categoría que otros famosos problemas no resueltos: ampliamente asumida pero nunca resuelta.
El matemático de Anthropic, cuyo nombre no ha sido revelado, recurrió a la IA Claude para explorar posibles contraejemplos. La IA ayudó a construir un mapa polinómico específico que viola las condiciones de la conjetura, refutándola efectivamente. El trabajo fue verificado por matemáticos independientes este mes.
Cómo Claude cambió el juego
No es la primera vez que la IA ayuda a resolver un problema matemático, pero es uno de los más significativos. La conjetura de Jacobi toca la geometría algebraica y el álgebra polinómica, campos donde la intuición humana ha sido durante mucho tiempo la única herramienta. Claude no solo realizó una búsqueda por fuerza bruta; generó mapas candidatos y luego ayudó a razonar sobre la estructura algebraica.
El matemático comentó a sus colegas que, sin Claude, el contraejemplo habría tardado años en encontrarse, si es que alguna vez se lograba. La capacidad de la IA para explorar vastos espacios combinatorios y sugerir patrones no obvios fue clave.
Sistemas criptográficos en la mira
La refutación plantea preguntas sobre el papel de la IA en los sistemas criptográficos. Muchos esquemas de criptografía post-cuántica, especialmente aquellos basados en polinomios multivariantes, asumen que ciertos problemas polinómicos son difíciles. Si una IA puede refutar una conjetura fundamental como la de Jacobi, también podría encontrar debilidades en esos supuestos.
Los criptógrafos están reexaminando los márgenes de seguridad de los algoritmos que dependen de la inversión polinómica o problemas relacionados. El momento no es el mejor: el Instituto Nacional de Estándares y Tecnología aún está finalizando sus estándares post-cuánticos, y cualquier duda sobre las matemáticas subyacentes podría retrasar su adopción.
Lo que dice la comunidad matemática
Las reacciones han sido mixtas. Algunos matemáticos ven la refutación como un triunfo de la colaboración humano-IA. Otros temen que la IA pueda desestabilizar campos construidos sobre conjeturas no demostradas. La conjetura de Jacobi nunca fue un primitivo criptográfico directo, pero su refutación demuestra que la IA puede trastocar creencias arraigadas.
Anthropic no ha comentado si publicará la prueba completa o el contraejemplo generado por IA. La comunidad criptográfica está observando de cerca, esperando el próximo movimiento.
