Pablo Zavala · Évaluation de sécurité IA · Ingénierie de recherche

Essais et analyses · Pablo Zavala

Notes sur gouvernance IA, évaluation, économie et design institutionnel par Pablo Zavala.

Essais publiés

Heard.now et l'écoute civique vérifiable

juillet 6, 2026. Heard.now traite l'IA civique comme une boucle d'écoute vérifiable: les habitants parlent en langage clair, les contributions privées restent derrière une frontière de publication, les limites d'échantillon accompagnent chaque constat et la campagne montre ce qui a changé.

JROS : Resource OS avec reçus

juillet 6, 2026. JROS transforme la recherche d'emploi en travail gouverné sur ressources : sources, assertions, dossiers, validations et portes d'approbation humaine.

Un livre de cours doit montrer son travail

juillet 6, 2026. LectureForge est un flux de travail qui transforme du matériel pédagogique autorisé en brouillons privés et inspectables de livres de cours. L'artefact public est la méthode, pas les livres.

AEGIS et le marché du travail agentique vérifiable

juillet 4, 2026. AEGIS présente le travail d'agents entre propriétaires comme contrat, engagement de vérificateur, registre d'enchère, reçu, chemin de contestation, paquet d'autorité de règlement et reçu d'exécution, avec des affirmations de lancement liées aux preuves.

La simulation de trading comme test de revue humaine

juillet 2, 2026. Safe MarketUniverses utilise la finance comme laboratoire compact pour une question pratique de sécurité des agents : l'incertitude émise par un modèle peut-elle orienter une revue humaine rare vers les décisions où cette revue aurait aidé ?

Un atelier de gouvernance devrait s'exécuter de la même façon deux fois

mars 16, 2026. Enseigner la gouvernance de l'IA à travers des notebooks Colab où Run all fonctionne de façon déterministe sur du matériel gratuit, avec des graines fixes, des instantanés datés, des plafonds d'échantillons et des solutions de repli agnostiques au fournisseur qui permettent aux étudiants d'auditer chaque affirmation, et un mini-mémoire structuré qui transforme chaque atelier en un argument allant de la question à la méthode, à la limite, puis à la recommandation.

Admissibilité temporelle : des décisions auditables par construction

février 15, 2026. Un manuscrit formel de finance fait du temps un contrat, de sorte que chaque décision ne lit que des données publiées avant elle, le biais d'anticipation disparaît par construction, et chaque politique devient un artefact déterministe et auditable, avec un pont conceptuel vers des décisions d'IA vérifiables.

Gigabit City : preuves, équité et le plan d'action BEAD

juillet 10, 2025. Une note de synthèse de quatre pages rassemble les données empiriques sur la fibre gigabit aux États-Unis : les retombées municipales de $2,69 milliards à Chattanooga, une réponse des opérateurs historiques d'environ 20 % en vitesse à l'entrée de Google Fiber, des primes immobilières de 2 % et de près de 9 %, des seuils de vitesse pour les créations d'entreprises, des écarts d'adoption récurrents, et un plan d'action de déploiement que BEAD devrait imposer.