Mil agentes de IA y una demostración: qué muestra realmente el experimento con Lean
Anthropic usó mil agentes Fable para formalizar una demostración existente en Lean. La historia está en la coordinación, la verificación y sus límites.
Etiqueta
#formal-verification
1 publicaciones con esta etiqueta