Anthropic ha anunciado que su modelo de IA Claude ha tardado once días en transformar la demostración del Último Teorema de Fermat —un enunciado matemático de hace más de 350 años— en una prueba formal de 13 millones de líneas de código, la más extensa jamás construida. La ventaja clave: se trata de código que un ordenador puede verificar por sí mismo, sin necesidad de confiar en el criterio de expertos humanos para validar cada paso.
Conviene precisar el hito real: el teorema no se ha ‘resuelto’ ahora. Pierre de Fermat lo planteó en 1637 y Andrew Wiles lo demostró en 1994 con una prueba de más de cien páginas que solo un puñado de matemáticos podía auditar. Lo que ha hecho Claude es traducir esa demostración a un formato verificable por máquina, de modo que la validez del razonamiento queda comprobada de forma automática e inequívoca.
Para los inversores del sector, el anuncio tiene dos lecturas. La primera, sobre la carrera de la IA: demuestra capacidad para ejecutar tareas autónomas de largo horizonte con rigor verificable, terreno donde Anthropic compite frontalmente con OpenAI y Google DeepMind, y un argumento de peso para justificar sus valoraciones de capital privado. La segunda, específicamente cripto: la verificación formal es la base técnica de las auditorías de contratos inteligentes y de los sistemas de pruebas de conocimiento cero, por lo que una IA capaz de generar demostraciones formales a esta escala apunta directamente a herramientas de seguridad blockchain de nueva generación.
Qué vigilar: si la comunidad matemática valida de forma independiente la formalización y Anthropic publica detalles técnicos sobre el grado de intervención humana y la tasa de errores del proceso. También conviene observar si esta capacidad se materializa en productos comerciales de verificación de código para el ecosistema Web3, un mercado donde la demanda de garantías matemáticas no deja de crecer.
Vía: Decrypt.
Fuente: Decrypt · Resumen en español generado automáticamente por Atlas (IA). No es asesoramiento financiero.
Visitas: 0