一篇新论文提出使用 Wolfram Language 来实现“计算法”，以治理人工智能系统，即使是那些具有不透明推理能力的系统。该方法将法律义务、许可和禁止形式化为可执行代码。使用 GPT-4 进行的测试揭示了将英文法律声明翻译成这种形式主义的挑战，包括幻觉函数和不正确的规范编码。一个 AI 警卫犬的案例研究展示了如何将形式化规则集成到代理的操作代码中，为其行为提供可审计的理由。 AI
影响 这项研究可能通过将法律原则转化为可执行代码，从而实现更具可审计性和可执行性的人工智能行为。
排序理由 详细介绍人工智能治理新方法的 ist 研究论文。 [lever_c_research 降级：ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
