全部 未讀 (40071) ★ 收藏 (0) 🤖 人工智能 (14612) 📊 商业科技 (6978) 📁 媒体资讯 (5897) 📁 投资财经 (3718) 📁 生活文化 (3124) 💻 软件编程 (2081) 📁 个人成长 (2004) 📁 体育运动 (1051) 🎨 产品设计 (554) 📁 AI 产品 (39)
篩選中: 🏷️ 形式逻辑 共 1 篇 ✕ 清除篩選
40073
全部文章
40071
未讀
186
今日新增
0
收藏
📡 Poller 最後抓取: 1 小時前 (08-14 18:00)
BestBlogs 精選 (40000)

🏷️ 熱門標籤

AI Agent 3286 政策解读 1748 投资与市场 1528 宏观经济 1417 AI 编程 1379 产业动态 1355 国际新闻 1273 LLM 1193 社会议题 1108 Anthropic 1098 国内新闻 1064 Claude Code 1046 地缘政治 1005 科技新闻 924 OpenAI 906 AI 智能体 789 生活方式 768 个人成长 709 具身智能 708 足球 702
● 我创造了 Parseltongue — LessWrong
📌 一句话摘要 Parseltongue 是一个开源 DSL，旨在通过基于图灵序数系统的形式逻辑强制执行认知基础，从而减轻 LLM 的幻觉。 📝 详细摘要 作者介绍了“Parseltongue”，这是一种领域特定语言（DSL）和工具集，旨在让 LLM 无法表达谎言。通过实现一个形式化的认知格——
📅 2026-04-06 01:44 (04-06 01:44) Valerii K. 人工智能 5 分鐘 ★ 88
AI 对齐 LLM 幻觉 形式逻辑 认知论