Claude de Anthropic trabajó de forma mayormente 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 significativo en la investigación matemática asistida por IA.

Generado por IA: resúmenes redactados por IA a partir de las fuentes enlazadas. Cómo usamos la IA