Tag
#theoretical AI
2 stories taggedtheoretical AI.

Explained
Verificação de provas ultra-rápida com IA: o que um novo resultado matemático significa para validar dados massivos
Investigadores encontraram uma forma de verificar factos aproximados sobre conjuntos de dados enormes utilizando apenas uma pequena fração dos dados, duas vezes. Eis o porquê disso ser importante.
3 min read

Explained
Testar Regras de Justiça em IA é Fácil. Provar que Funcionam É Outro Problema Completamente Diferente
Nova investigação revela que um atalho matemático que liga dois tipos de auditoria de IA colapsa no momento em que você tenta verificar, e não apenas testar, que um sistema se comporta de forma consistente.
3 min read