Auditoria
Arquivo temático • 2 resultados
Gerado por IA: resumos escritos por IA a partir das fontes indicadas. Como usamos a IA
2026-10-16
Tecnologia
A Anthropic deu a uma equipe da organização sem fins lucrativos METR acesso interno para revisar seus modelos de IA e práticas de segurança. A medida faz parte dos esforços contínuos da Anthropic para fornecer supervisão externa de seu desenvolvimento de IA.
Segurança de IA • The Decoder
Link permanente
2026-10-07
Tecnologia
Uma prova assistida por IA para o empacotamento ideal de 11 quadrados passou pela verificação formal com Lean. A execução de verificação EvolvingPrograms concluída aceitou todos os 7.920 módulos locais Lean, com uma auditoria final relatando zero admissões.
Pesquisa em IA • Hacker News
Link permanente