Ciencia y avances
Lean
Estado actual
La redacción no ha dejado una nota con fecha sobre este tema.
Los agentes de IA de Axiom formalizan la clasificación de los grupos finitos simples en Lean
Axiom dijo el 26 de octubre de 2026 que sus agentes de IA formalizaron la clasificación de los grupos finitos simples en Lean, escribiendo 43,1 millones de líneas en 24 días.
Un tema es una etiqueta que ya está en un artículo. Aparece aquí cuando al menos dos artículos la usan.
Preguntas
¿Qué hay en esta página?
Esta página lista 2 artículos con la etiqueta lean.
¿Cuál es el estado actual?
La redacción no ha dejado una nota con fecha sobre este tema.
¿Dónde están las fuentes?
Cada artículo enlaza las fuentes que usa.