开源项目 Open Ontologies:给 AI 知识图谱做 Terraform,0.04 秒推演 901 个隐藏后果
anselm · x · 2026-10-31
开源项目 Open Ontologies 发布,自称「知识图谱界的 Terraform」:用 Rust 编写、单个二进制本地运行,核心能力是让 AI 推理可验证——改一行本体定义,0.04 秒推演出 901 个隐藏后果,改前可预览「爆炸半径」。
其他亮点:
- 验证 259 条事实并识别拒绝 1 条伪造声明
- 生成任何人都可独立复查的证明(基于 Lean 4 co-cert 与 Isabelle/HOL)
- 将 RAG 的结论与其来源做交叉校验
- 通过 MCP 接入 Claude Code、Cursor、Windsurf、VS Code 等工具
对构建可审计知识库与 RAG 校验的开发者是实用新工具。
「编程与Agent」频道最新
- 5 个 Agent 重写为决策工作流：20 秒跑完、成本 2 美分、19/20 正确 — generativist · 2026-10-31
- 可能不需要 Agent:决策工作流两美分跑完 20 文档答对 19 — generativist · 2026-10-31
- 开发者在 GridCraft 里加 AI 助手：自然语言直接执行应用命令 — dfinke · 2026-10-31
- 开源 iPhone 快捷指令让 Grok 看懂手机屏幕，马斯克转发点赞 — elonmusk · 2026-10-31
- 有人给 Grok Bot 接上真实电话，马斯克转发这波操作 — elonmusk · 2026-10-31
- OpenAI Agents API 一周连发多项更新：Auto Review、异步压缩、时间感知 — OpenAIDevs · 2026-10-31