Inteligencia IASep 4, 2026Video
Articulo
El Claude de Anthropic trabajó en gran medida de forma autónoma durante 11 días para formalizar la demostración del Último Teorema...
De Fermat en el lenguaje de programación Lean, marcando un hito importante en la investigación matemática asistida por IA.
Redaccion Data Cube AIFuente: AI Explained
01
Resumen fuente
El Claude de Anthropic trabajó en gran medida de forma autónoma durante 11 días para formalizar la demostración del Último Teorema de Fermat en el lenguaje de programación Lean, marcando un hito importante en la investigación matemática asistida por IA.
02