我围绕一个理念发布了四篇短文：使人工智能辅助的工作具备可复核性。
- EMET — 一种字节级完整性见证机制，其裁决结果｛匹配、漂移、不可验证｝在设计上无法表达“可信”。包含四个独立实现和44个一致性向量。
- BuildLang — 一种编译器，它将环境能力置于函数类型中，并封存可通过重新执行来验证的可重推导收据。
- 见证独立性 — 一种机制，用于记录验证器是否对其自身工作进行了评级，并在未见证独立性时拒绝做出裁决。
- 证明数据包 — 一种封装单个智能体动作的信封，其裁决结果源于检查，因此声明永远无法自我担保。
所有四项内容的源代码和测试均已公开。
论文：https://harperz9.github.io/publications.html
免责声明：本文内容来自互联网，该文观点不代表本站观点。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，请到页面底部单击反馈，一经查实，本站将立刻删除。
