Audit
主题归档 • 3 条结果
AI 生成：摘要由 AI 根据所链接的来源撰写。 我们如何使用 AI
2026-10-16
科技
Anthropic已允许非营利组织METR的一个团队内部访问，以审查其AI模型和安全实践。此举是Anthropic持续努力提供其AI开发外部监督的一部分。
AI安全 • The Decoder
永久链接
2026-10-05
技巧
生产力
审计您的编码代理发送给LLM的上下文，确保只包含必要信息，提高效率和隐私保护。
永久链接
2026-10-07
科技
一个关于11个正方形最优打包的AI辅助证明已通过Lean的形式化验证。完成的EvolvingPrograms验证运行接受了所有7,920个本地Lean模块，最终审计报告零接纳。
AI研究 • Hacker News
永久链接