Tenho vindo a explorar a mecânica da autonomia de IA recentemente, e é fascinante como estas peças estão a encaixar-se rapidamente. Estou particularmente interessado nos provas de conhecimento zero seletivas—podes validar os componentes críticos do cálculo de um modelo sem o overhead de desempenho que normalmente acompanha a geração de provas. É como poder verificar exatamente o que importa, mantendo o sistema responsivo. Os ganhos de eficiência aqui podem ser substanciais para a verificação de modelos na cadeia e agentes autónomos a operar em ambientes restritos. A convergência da tecnologia ZK com a infraestrutura de IA está a abrir possibilidades interessantes para a execução de modelos sem confiança.