Anthropic AI ha traducido con éxito la prueba del Último Teorema de Fermat a código verificado por ordenador, una hazaña que los matemáticos estiman que habría llevado a los humanos una década. El proyecto, completado en 11 días, demuestra el creciente papel de la inteligencia artificial en la verificación matemática y el potencial descubrimiento. Alex Kontorovich, un teórico de números de la Universidad de Rutgers en Piscataway, Nueva Jersey, declaró que el logro “simplemente me dejó asombrado”. Anthropic AI, con sede en San Francisco, California, anunció el avance el 4 de septiembre. La prueba de 13 millones de líneas formaliza el trabajo de Andrew Wiles y Richard Taylor, quienes completaron originalmente la prueba en 1994. El Último Teorema de Fermat postula que no existen números enteros x, y y z que puedan satisfacer la ecuación xⁿ + yⁿ = zⁿ cuando n es mayor que 2. El teorema fue originalmente conjeturado por Pierre de Fermat en 1637, pero permaneció sin probar durante más de 350 años. Kevin Buzzard, un matemático del Imperial College de Londres, señaló la complejidad de este logro, afirmando que era “quizás una magnitud más difícil” que las formalizaciones asistidas por IA anteriores, como la certificación del trabajo de Maryna Viazovska sobre el empaquetamiento de esferas en febrero. Daniel Litt, un teórico de números de la Universidad de Toronto, Canadá, cree que este éxito indica la capacidad de la IA para formalizar cualquier prueba matemática: “Si pueden formalizar el Último Teorema de Fermat, probablemente puedan formalizar cualquier cosa”. La capacidad de la IA para 'formalizar' pruebas – traducir argumentos matemáticos a código certificable por ordenador, típicamente utilizando el lenguaje de programación Lean – se considera cada vez más como una herramienta poderosa para los matemáticos. Buzzard sugiere que, al ritmo actual de progreso, la IA podría eventualmente examinar todo el cuerpo de conocimiento matemático, identificando potencialmente errores en resultados establecidos. “Hace dos años, eso era una fantasía”, dijo.
Leer la cobertura original
💬 Comentarios
📜 Política de comentarios