全部 未讀 (11904) ★ 收藏 (0) 🤖 人工智能 (7639) 📊 商业科技 (1811) 💻 软件编程 (1202) 📁 个人成长 (745) 🎨 产品设计 (211) 📁 生活文化 (111) 📁 投资财经 (71) 📁 媒体资讯 (70) 📁 AI 产品 (39) 📁 AI (5)
篩選中: 🏷️ 形式化方法 共 2 篇 ✕ 清除篩選
11906
全部文章
11904
未讀
223
今日新增
0
收藏
📡 Poller 最後抓取: 1 小時前 (04-16 20:00)
BestBlogs 精選 (11887)

🏷️ 熱門標籤

AI Agent 1332 AI 智能体 734 Claude Code 646 Anthropic 629 LLM 563 AI 编程 508 OpenClaw 499 开源 439 AI 安全 405 AI 396 Claude 389 OpenAI 365 软件工程 357 开发者工具 343 生产力 308 GitHub 251 自动化 238 AI 基础设施 227 AI 开发 225 MCP 223
● 我们能用形式化方法保障 AI 安全吗？2026 年 1 月至 3 月 — LessWrong
📌 一句话摘要 本期通讯探讨了形式化方法与 AI 安全的融合，重点介绍了安全程序合成、智能体安全工作流以及关键基础设施加固方面的最新进展。 📝 详细摘要 本文对 2026 年初形式化方法与 AI 安全交叉领域的发展进行了精选综述。文章强调，安全程序合成正成为抵御 AI 驱动威胁的关键防御机制。作
📅 2026-04-03 02:50 (13 天前) Quinn 人工智能 1 分鐘 ★ 84
AI 安全 形式化方法 安全程序合成 智能体工作流
● 如何解决安全程序合成问题 —— LessWrong
📌 一句话摘要 本文指出，安全程序合成（Secure Program Synthesis，简称 SPS）之所以尚未解决，是因为当前的方法混淆了数学证明生成与软件工程。文章提出，要取得成功，必须解决规范获取（specification elicitation）、现实世界软件的复杂性以及开发者生产力等
📅 2026-03-31 04:12 (16 天前) Max von Hippel 人工智能 2 分鐘 ★ 87
安全程序合成 形式化方法 LLM 软件工程