Anthropic 工程师:数千万行代码的形式化验证已可行
morqon · x · 2026-11-06
引用 Anthropic 相关工程师 thsottiaux 的观点:对数千万行代码做形式化证明已不再是荒谬的事,而应纳入新系统设计时的考量。morqon 提醒据此调整提示词,暗示模型能力已足以支撑大规模形式化验证工作流。
「编程与Agent」频道最新
- 开发者改造 ChatGPT 桌面端：经 ACP 协议并行调度 12 个编码 Agent — ashokallu · 2026-11-06
- Slack agent Biscuit 自主改投票应用,连偷懒需求都照办 — blixt · 2026-11-06
- 用 GrokBot 7x24 收集爆款帖,把 Notion 变成实时灵感数据库 — huangyun_122 · 2026-11-06
- 开发者开源 turri：主打「再生软件」理念的编码 Agent 正式发布 — the_juan_1 · 2026-11-06
- OpenAI 自定义 GPT 12月11日退役：用别人 GPT 的用户无法迁移 — Ok_Negotiation_2587 · 2026-11-06
- X 上已识别约 780 个 AI slop 账号，可用 agent 每日自动拉黑 — TheZachMueller · 2026-11-06