All stories tagged :
Cotidiano
Últimos
A IA já alcança resultados impressionantes em matemática abstrata, embora ainda erre tarefas elementares. Avanços atribuídos ao modelo Astra parecem consistentes e parcialmente formalizados em Lean, mas levantam dúvidas sobre atribuição, escala, transparência, formação de pesquisadores e concentração de poder em laboratórios ricos.











