ExplainedVerificaçã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.