Un matemático antrópico ha utilizado el gran modelo de lenguaje propio de la compañía para refutar una conjetura matemática que se ha resistido a la resolución durante 87 años, entregando uno de los ejemplos más sorprendentes hasta ahora de cómo la inteligencia artificial avanza en las matemáticas puras.

Levent Alpöge, matemático de la empresa de inteligencia artificial Anthropic, anunció que había encontrado un contraejemplo de la conjetura jacobiana, un famoso y antiguo problema de geometría algebraica. Llegó al resultado utilizando el modelo Claude Fable 5 de Anthropic, que había sido lanzado al público sólo unas semanas antes. El descubrimiento, informado por primera vez por ScienceDaily y SciTechDaily y extraído de un artículo publicado originalmente en The Conversation, ha provocado una oleada de entusiasmo en la comunidad matemática. Para los lectores que siguen los últimos desarrollos de IA, el resultado subraya la rapidez con la que los modelos de frontera están pasando de ser trucos de salón a un trabajo científico genuinamente productivo.

Una fórmula lo suficientemente pequeña para una sola publicación

Lo que hace que este avance sea tan sorprendente es su tamaño compacto. Según SciTechDaily, el contraejemplo es una función tridimensional notablemente simple: una fórmula lo suficientemente corta como para caber dentro de una sola publicación en X. El contraejemplo asistido por IA refuta la conjetura jacobiana en dos dimensiones, mientras deja abierta la forma bidimensional original de la conjetura.

Ese matiz importa. El resultado no soluciona todo el problema, que persiste desde el siglo XIX. En cambio, expone un límite inesperado: la versión generalizada y de dimensiones superiores de la conjetura es falsa, aunque el caso que más preocupaba originalmente a los matemáticos sigue sin resolverse.

La historia detrás del problema

La conjetura jacobiana se refiere a funciones polinómicas: máquinas matemáticas que toman números y producen nuevos números siguiendo una regla particular. En esta configuración, los números pueden representar puntos en un espacio, como coordenadas en un mapa. Una función toma esas coordenadas y las transforma, moviendo los puntos a diferentes posiciones. Los matemáticos pueden examinar con qué facilidad una función reordena el espacio calculando su determinante jacobiano. La conjetura esencialmente pregunta: si ese determinante es una constante distinta de cero, ¿la función tiene necesariamente un polinomio inverso?

El problema tiene una historia histórica. Fue formulado por primera vez por el matemático checo Ludwig Kraus en 1884, y luego generalizado a cualquier número de dimensiones por el matemático alemán Ott-Heinrich Keller en 1939. Se consideró tan importante que el medallista Fields Stephen Smale lo incluyó en su influyente lista de 1998 de Problemas matemáticos para el próximo siglo.

A lo largo de su larga vida, la conjetura atrajo muchas supuestas pruebas, incluidos los intentos de Beniamino Segre y Wolfgang Gröbner, dos célebres matemáticos del siglo XX. Ninguno se mantuvo firme. El hecho de que ahora haya surgido un contraejemplo (con la ayuda de un modelo estilo chatbot) ilustra cómo la IA está demostrando ser tan útil para descubrir objetos matemáticos inesperados como para construir pruebas.

Por qué cayó el caso de dimensiones superiores

La distinción clave es entre dos y tres (o más) dimensiones. La conjetura jacobiana bidimensional original, la versión que ha ocupado a los geómetras algebraicos durante generaciones, todavía está abierta. Lo que encontraron Alpöge y Claude Fable 5 es un contraejemplo en tres dimensiones, que es suficiente para tumbar la conjetura generalizada que Keller formuló en 1939.

Se trata de un resultado significativo por derecho propio. Muchos investigadores habían sospechado que si la conjetura fuera cierta, lo sería en todas partes. Un contraejemplo claro en la dimensión tres reduce el espacio de posibilidades y reformula la pregunta restante: ¿son dos dimensiones realmente especiales o hay un contraejemplo acechando allí también?

La brevedad del contraejemplo es en sí misma notable. Fortune informó que los matemáticos están lidiando con un "cambio muy rápido y muy inquietante" a medida que las herramientas de inteligencia artificial resuelven problemas centenarios uno tras otro. Una pequeña fórmula para resolver un problema respaldado por un medallista Fields es exactamente el tipo de desarrollo que alimenta esa inquietud y ese entusiasmo.

El creciente papel de la IA en las matemáticas

Los matemáticos que trabajan con grandes modelos de lenguaje han producido recientemente varios resultados notables, y el contraejemplo de la conjetura jacobiana se distingue de muchos avances anteriores. En lugar de realizar una búsqueda por fuerza bruta, la colaboración entre Alpöge y Claude Fable 5 produjo una respuesta concisa y verificable por humanos: el tipo de resultado que los matemáticos pueden verificar y aprovechar.

El descubrimiento también destaca un patrón más amplio. Los modelos de frontera son cada vez más capaces de explorar vastos espacios combinatorios y proponer objetos candidatos con los que un ser humano nunca tropezaría. Cuando esos candidatos son lo suficientemente bajos como para verificarlos a mano, la combinación de amplitud de IA y juicio humano se vuelve potente.

Qué significa para el futuro

Queda por ver qué significa esto para el futuro de las matemáticas (y para los matemáticos humanos), como señaló SciTechDaily. El contraejemplo no deja obsoletos a los matemáticos; en todo caso, agudiza la cuestión abierta y ofrece a los investigadores un nuevo objetivo preciso. Pero sí refuerza que la IA ha ido más allá de resumir los libros de texto y se ha convertido en el corazón del trabajo matemático creativo.

El resultado también es una validación de alto perfil para Anthropic. Claude Fable 5, lanzado al público sólo unas semanas antes del descubrimiento, fue utilizado por uno de los propios matemáticos de la compañía para resolver un problema que había frustrado a algunas de las mentes más brillantes del siglo pasado. Para una empresa que se apresura a demostrar que sus modelos pueden razonar en la frontera, pocos respaldos son más creíbles que una conjetura de 1939 que finalmente se desmorona.

Manténgase por delante de la IA

El ritmo de los descubrimientos impulsados por la IA se está acelerando en la ciencia, las matemáticas y la industria. Marque nuestra sección de últimas noticias sobre IA para obtener una cobertura continua de lanzamientos de modelos, avances en investigaciones y cambios de políticas.

Leer más noticias sobre IA →