形式化方法社区为何拥抱 AI：自动验证本就是这个群体的旧梦
jefrankle · x · 2026-10-23
jefrankle 转发 mcarbin 的评论：对形式化方法/编程语言/编译器社区的许多人来说，自动验证、自动编程、自动编译是长期梦想，如今看到这些系统真的被大规模使用令人振奋——这种心态更像神经网络研究者。指出 PL/形式化社区拥抱 AI 的动机与业界不同：这本来就是他们要做的事。
「漫话AGI」频道最新
- 搭 Agent 不值钱了?观点称业务理解与工具层才是真门槛 — dotey · 2026-10-23
- 机器人迎来 ChatGPT 时刻：自动驾驶车辆 2026 年预计达 1600 万台 — Rewkang · 2026-10-23
- AI 模型会「精神失常」吗:Reddit 关于模型可能天生精神病态的讨论 — rapPayne · 2026-10-23
- UnHerd 长文批 AI 末日论:所谓防范措施本身就是监控工具 — DrTechlash · 2026-10-23
- Benjamin Bratton 访谈：重新思考人类智能与人的能动性 — bratton · 2026-10-23
- 用Claude生成AI末日论证对照表，哲学家引发热议 — alexisgallagher · 2026-10-23