El fin de semana, mientras medio mundo veía la final del Mundial, un matemático de Anthropic tiró abajo un problema que llevaba 87 años en pie. Levent Alpöge, matemático formado en Harvard e investigador de la casa, publicó el 20 de julio en X un contraejemplo a la conjetura de Jacobi, un enunciado de álgebra abierto desde 1939. Y lo hizo con un tono de lo más casual, dando las gracias a "su buen amigo fable por trabajar durante la final del Mundial". Fable es Claude Fable 5, el modelo de Anthropic.
Para entender el tamaño de esto conviene un dato. En 2008, el reputado matemático T.T. Moh predijo que resolver la conjetura de Jacobi podía llevar a los humanos "otros 100 años". Se ha resuelto como quien hace un recado un domingo por la tarde.
Qué decía la conjetura, en cristiano
Sin meternos en el barro, la idea es esta. La conjetura de Jacobi hablaba de un tipo de transformación matemática (una función polinómica) y afirmaba que, si cumplía cierta condición sencilla de verificar, entonces esa transformación tenía que ser reversible: siempre se podía deshacer y volver al punto de partida sin ambigüedad. Durante 87 años nadie encontró un caso que rompiera esa promesa, y muchos daban por hecho que era cierta.
Lo que ha aparecido es justo el caso que rompe la promesa. Una transformación que cumple la condición, pero que no se puede deshacer, porque manda sitios distintos al mismo destino. Con un solo contraejemplo basta para tumbar una conjetura entera, y este es tan pequeño que se ve a simple vista.
Qué es exactamente lo que encontró
No hace falta ser matemático para pillar por qué esto es distinto de los anuncios habituales de IA. Lo normal es que una empresa te diga que su modelo saca tal nota en tal examen, y tú te lo tienes que creer. Aquí no. El resultado es un contraejemplo: una fórmula concreta que cualquiera puede coger, meter en la calculadora y comprobar por su cuenta.
En concreto es un polinomio en tres variables cuyo jacobiano (un número asociado a la fórmula) vale -2, lo que cumple todas las condiciones de la conjetura. Y aun así, manda tres puntos distintos al mismo destino, que es justo lo que la conjetura decía que no podía pasar. Es tan corto que se comprueba en una servilleta. La librería SymPy lo verifica en 30 segundos.
Verificado, pero con un asterisco honesto
Aquí toca ser preciso, porque la diferencia importa. Varios matemáticos de primer nivel ya han confirmado los cálculos por su cuenta, con herramientas como Wolfram Alpha. Entre ellos Jared Duker Lichtman, de Stanford. El campo había visto antes varias soluciones que luego se caían, pero los expertos dicen que esta respuesta es lo bastante corta como para confirmarla directamente.
Dicho eso, todavía no ha pasado la revisión por pares, y falta el paper formal y la transcripción completa del proceso. O sea: pinta muy sólido, lo han verificado varias manos independientes, pero el sello académico definitivo aún no está. Merece contarse como lo que es, un resultado que parece correcto y verificable, no como un hecho cerrado en piedra. Esa cautela no le quita fuerza, se la da.
Por qué no es un titular más de IA
Esto encaja en una racha, y es la parte que conviene no perder de vista. Solo este año los modelos de frontera se han llevado por delante varios problemas abiertos de Erdős, y OpenAI ayudó a cerrar un enigma de geometría de 80 años. La matemática, que era el territorio donde parecía que la IA se quedaría corta durante mucho tiempo, se está convirtiendo en uno de los sitios donde más está avanzando. Y no es casualidad que sea aquí: en matemáticas la respuesta se puede verificar, un resultado es correcto o no lo es, sin lugar a la interpretación. Es el terreno perfecto para una herramienta que propone muchas ideas y deja que el humano compruebe cuál se sostiene.
Y hay un matiz que a un directivo le conviene entender bien, porque es el que separa el humo del avance real. Alpöge no le dio a un botón y esperó el milagro. Es un matemático de Harvard usando un modelo como herramienta para acelerar un trabajo que él sabe dirigir. La máquina no sustituyó al experto, lo multiplicó. Es exactamente el patrón que se repite en cualquier aplicación seria de la IA: la herramienta rinde de verdad en manos de alguien que sabe qué preguntar y cómo verificar la respuesta.
La lectura para quien dirige una empresa
Si algo deja este episodio no es "la IA ya resuelve matemáticas imposibles". Es algo más útil. Un profesional que domina su campo, apoyado en un buen modelo, hace en un fin de semana lo que se creía cosa de un siglo. Ese salto de productividad no vive solo en la matemática pura. Es el mismo salto que un buen operador puede sacar en finanzas, en operaciones, en análisis de datos o en ingeniería, siempre que ponga a alguien que sepa al mando de la herramienta.
La pregunta para tu empresa no es si la IA va a hacer sola el trabajo difícil. Es quién de tu equipo, sabiendo lo que sabe, va a coger estas herramientas y multiplicar lo que ya hace bien. Ahí está el apalancamiento, y no en esperar a que la máquina piense por nadie.
Y hay un último detalle que no conviene pasar por alto. El contraejemplo se puede verificar; cualquiera lo comprueba en su ordenador en medio minuto. Esa es la diferencia entre un avance real y una nota de prensa. Cuando alguien te venda lo que hace su IA, la pregunta correcta es siempre la misma: enséñame el resultado que yo pueda comprobar por mi cuenta. Lo que no se puede verificar, no cuenta.
Relacionado
