全部 未讀 (12239) ★ 收藏 (0) 🤖 人工智能 (7794) 📊 商业科技 (1919) 💻 软件编程 (1219) 📁 个人成长 (762) 🎨 产品设计 (214) 📁 生活文化 (131) 📁 媒体资讯 (80) 📁 投资财经 (76) 📁 AI 产品 (39) 📁 AI (5)
篩選中: 🏷️ 形式逻辑 共 1 篇 ✕ 清除篩選
12241
全部文章
12239
未讀
111
今日新增
0
收藏
📡 Poller 最後抓取: 1 小時前 (04-18 20:00)
BestBlogs 精選 (12220)

🏷️ 熱門標籤

AI Agent 1371 AI 智能体 738 Claude Code 656 Anthropic 651 LLM 564 AI 编程 538 OpenClaw 501 开源 445 AI 安全 410 Claude 400 AI 398 OpenAI 371 软件工程 359 开发者工具 349 生产力 308 GitHub 254 自动化 241 AI 基础设施 229 AI 开发 226 MCP 225
● 我创造了 Parseltongue — LessWrong
📌 一句话摘要 Parseltongue 是一个开源 DSL，旨在通过基于图灵序数系统的形式逻辑强制执行认知基础，从而减轻 LLM 的幻觉。 📝 详细摘要 作者介绍了“Parseltongue”，这是一种领域特定语言（DSL）和工具集，旨在让 LLM 无法表达谎言。通过实现一个形式化的认知格——
📅 2026-04-06 01:44 (12 天前) Valerii K. 人工智能 5 分鐘 ★ 88
AI 对齐 LLM 幻觉 形式逻辑 认知论