Ciência e avanços
Lean
Estado atual
A redação não deixou uma nota datada sobre este tema.
Agentes de IA da Axiom formalizam a classificação de grupos finitos simples em Lean
A Axiom afirmou em 26 de outubro de 2026 que seus agentes de IA formalizaram a classificação de grupos finitos simples em Lean, escrevendo 43,1 milhões de linhas em 24 dias.
Um tema é uma etiqueta que já está numa reportagem. Ele aparece aqui quando pelo menos duas a usam.
Perguntas
O que há nesta página?
Esta página lista 2 matérias com a etiqueta lean.
Qual é o estado atual?
A redação não deixou uma nota datada sobre este tema.
Onde estão as fontes?
Cada matéria liga as fontes que usou.