Herramientas
05 Sep 2026 · 17:03
La IA de Anthropic verifica el Último Teorema de Fermat en 11 días
Claude formalizó en Lean 4 la primera prueba verificable por máquina del Último Teorema de Fermat: 13 millones de líneas en 11 días. Un hito con implicancias directas para la verificación formal de software y la ciberseguridad.
inteligencia artifi…anthropicclaudeverificacion formalleanfermatmatematicasciberseguridad