Verificación

Claude no ha vuelto a demostrar Fermat: ha industrializado su comprobación

Anthropic afirma que un sistema de agentes trabajó durante once días para producir la primera formalización completa del Último Teorema de Fermat en Lean. El resultado no descubre matemáticas nuevas, pero convierte una demostración monumental en un objeto que un verificador puede aceptar o rechazar paso a paso.