Pablo Zavala · Avaliação de segurança de IA · Engenharia de pesquisa
Notas sobre governança de IA, avaliação, economia e design institucional de Pablo Zavala.
julho 6, 2026. Tribunal transforma saídas de IA de alto risco em um procedimento revisável: propostas cegas, compromissos selados, crítica por papel, veto, dissenso, ratificação e registro encadeado por hash.
julho 6, 2026. Heard.now trata a IA cívica como um ciclo de escuta verificável: moradores falam em linguagem clara, contribuições privadas ficam atrás de uma fronteira de publicação, limites de amostra acompanham cada achado e a campanha mostra o que mudou.
julho 6, 2026. JROS transforma busca de emprego em trabalho governado sobre recursos: fontes, afirmações, pacotes, validações e portões de aprovação humana.
julho 6, 2026. LectureForge é um fluxo de trabalho para transformar material docente autorizado em rascunhos privados e inspecionáveis de livros de curso. O artefato público é o método, não os livros.
julho 4, 2026. AEGIS enquadra o trabalho de agentes entre proprietários como contrato, compromisso de verificador, registro de lance, recibo, caminho de disputa, pacote de autoridade de liquidação e recibo de execução, com afirmações de lançamento vinculadas às evidências.
julho 2, 2026. Safe MarketUniverses usa finanças como laboratório compacto para uma pergunta prática de segurança de agentes: a incerteza emitida pelo modelo consegue guiar revisão humana escassa para decisões em que a revisão teria ajudado?
julho 2, 2026. Por que a confiança de um modelo pode estar bem calibrada em média e ainda falhar ao decidir quais ações de agentes merecem a revisão humana disponível.
março 24, 2026. Os medicamentos GLP-1 funcionam enquanto a cobertura pública estagna, e a lacuna se entende melhor como uma falha de economia comportamental dentro das instituições: ancoragem no placar fiscal, um padrão de status quo herdado e um atraso avesso a perdas que um objetivo multiatributo e duas intervenções de enquadramento podem corrigir.
março 16, 2026. Ensinar governança de IA por meio de notebooks Colab em que Run all funciona de forma determinística em hardware gratuito, com seeds fixas, snapshots datados, limites de amostra e alternativas agnósticas de provedor que permitem aos estudantes auditar cada afirmação, e um mini-relatório estruturado que transforma cada laboratório em um argumento que vai da pergunta ao método, à limitação e à recomendação.
fevereiro 15, 2026. Um manuscrito formal de finanças transforma o tempo em um contrato, de modo que cada decisão lê apenas dados publicados antes dela, o viés de antecipação (look-ahead bias) desaparece por construção, e cada política se torna um artefato determinístico e auditável, com uma ponte conceitual para decisões de IA verificáveis.
fevereiro 10, 2026. A IA ajuda quando afina o julgamento. A saída polida vira armadilha de fluência quando substitui verificação, escrita, raciocínio e hábitos que formam capital humano.
julho 10, 2025. Um memorando de evidências de quatro páginas sintetiza o registro empírico sobre fibra gigabit nos Estados Unidos, classificando cada afirmação como causal ou descritiva: o retorno municipal de $2,69 bilhões em Chattanooga, uma resposta de velocidade das operadoras estabelecidas de aproximadamente 20% à entrada do Google Fiber, prêmios imobiliários de 2% e de quase 9%, limiares de velocidade para o surgimento de novas empresas, lacunas recorrentes de adoção, e um roteiro de implantação que o BEAD deveria impor.
novembro 11, 2024. Um exercício de pós-graduação sobre dados sintéticos de prisão preventiva mostra taxas de erro díspares por raça que resumos de equidade agregada não captam, um modo de falha que uma revisão de segurança deveria detectar e que um registro de decisão auditável tornaria visível.
outubro 13, 2024. Uma proposta de desenho, não um sistema construído, para um assessor jurídico e de negócios em espanhol, quíchua e shuar, articulada em torno da segurança das línguas de baixos recursos, do risco de alucinação e da revisão humana.