Los investigadores han revelado que la inteligencia artificial “Claude Fable 5” ha identificado un contraejemplo crucial que pone fin a la conjetura jacobiana, un desafío matemático que ha intrigado a las mentes durante casi un siglo. El descubrimiento, informado por Levent Alpoge, un matemático afiliado a Anthropic, demuestra el creciente potencial de las IA para resolver problemas científicos complejos y de larga data.
Cómo la inteligencia artificial resolvió un problema de 87 años
El matemático Levent Alpoge, de Anthropic, fue el encargado de informar del descubrimiento del contraejemplo a la conjetura de Jacobi. La solución, que permaneció sin respuesta durante 87 años, se encontró con la ayuda del modelo de IA “Claude Fable 5”. El matemático Akil Matthew animó a Alpoge a buscar esta solución, y la inteligencia artificial trabajó en el problema durante la final de la Copa Mundial de la FIFA.
¿Qué es la conjetura jacobiana y por qué es importante?
La conjetura jacobiana, formulada en su forma general en 1939 por el matemático alemán Otto-Heinrich Keller, es un problema que cuestiona una propiedad fundamental de las funciones polinomiales. Sugiere que si el determinante jacobiano de una aplicación polinómica que asigna n variables complejas a las mismas n variables es una constante distinta de cero, entonces debe existir una aplicación inversa que también pueda expresarse como un polinomio. Esencialmente, la pregunta es si una propiedad de “reversibilidad” local en todos los puntos implica una reversibilidad polinómica global para toda la función.
Comprender el papel del determinante jacobiano en matemáticas
En matemáticas, cuando una función devuelve el mismo resultado para diferentes entradas, la entrada original no puede ser única. El proceso de regresar de la salida a la entrada se llama función inversa. Sin embargo, una función con múltiples entradas para la misma salida no puede tener una función inversa única en todo su dominio. Para funciones multivariables, el determinante jacobiano examina la capacidad de restaurar la función en un rango estrecho. Este valor se calcula en cada punto de entrada y representa el cambio en el área o volumen local, utilizando una aproximación lineal. Un determinante jacobiano cero indica que la información se ha perdido en alguna dirección, lo que hace imposible una restauración única de la entrada. Si es distinto de cero, la información se conserva, asegurando la trazabilidad de la entrada y la salida localmente.
El descubrimiento crucial del contraejemplo de Claude Fable 5
La inteligencia artificial de Claude Fable 5 descubrió un mapeo polinomial donde el determinante jacobiano siempre toma un valor constante de -2. Sin embargo, se encontraron tres entradas distintas que dan como resultado el mismo resultado, lo que contradice la conjetura jacobiana.
- Diferentes entradas:
- * (0, 0, -1/4)
* (1, -3/2, 13/2)
* (-1, 3/2, 13/2) - Salida idéntica para todas las entradas:(-1/4, 0, 0)
Esta demostración indica que la conjetura jacobiana es falsa para tres o más variables, demostrando que la existencia de una aplicación inversa en todo el espacio no está garantizada únicamente por la propiedad del determinante jacobiano constante.
La importancia de la verificación y la comprensión humana posterior al descubrimiento.
A pesar del impresionante descubrimiento de la IA, la simple generación de una fórmula mediante un sistema artificial no garantiza automáticamente su validez como contraejemplo. Pequeños errores de cálculo o sustitución podrían invalidar toda la conclusión. Por este motivo, la validación independiente por parte de expertos humanos o software de verificación se vuelve esencial.
Después de la revelación, hubo un esfuerzo por formalizar la prueba utilizando el sistema de soporte de demostración del teorema “Lean”. Paul Rouzeau, candidato a doctorado en matemáticas formalizadas en el Imperial College de Londres, desarrolló un contraejemplo de Lean y lo subió a “Formal Conjectures”, un depósito de conjeturas matemáticas mantenido por Google DeepMind. Actualmente, el pull request se encuentra en proceso de revisión, pero ya se ha podido verificar la consistencia del determinante jacobiano y la no inyectividad del mapeo, confirmando la ausencia de mapeos inversos en todo el espacio.
Los próximos pasos en la colaboración entre humanos e inteligencia artificial
El Proyecto Xena, centrado en las matemáticas formalizadas, señala que el próximo gran desafío no es sólo confirmar la exactitud del contraejemplo, sino también permitir que los humanos comprendan profundamente las razones por las que es válido. Este episodio subraya la creciente interacción entre el poder computacional de la inteligencia artificial y la perspicacia analítica humana, abriendo nuevas fronteras en la investigación matemática y resolviendo problemas que durante mucho tiempo han desafiado la comprensión. La colaboración promete acelerar el progreso en campos complejos combinando la velocidad de la IA con la profundidad del razonamiento humano.
