HN 热议 · 15 分 / 6 条评论
原文：https://nvidia.github.io/OpenShell-Research/dev-notes/posts/2026-09-10-learning-formal-methods-agent-policy-prover/
我们在 OpenShell 中学到的应用正式方法来控制 AI 代理的知识
What we have learned at OpenShell applying formal methods to control AI agents
摘要 · HN 热议 · 15 分 / 6 条评论
阅读原文 · Hacker News →
Agent0 条评论 · 观点来自社区
评论区 0 条讨论