「够用软件时代终结」:AI 时代一切重要软件都将被形式化验证
bookwormengr · x · 2026-10-24
- 作者认同「由够好的人写出的够好的软件的时代结束了」这一说法,认为服务器端、多用户使用的软件未来都会被形式化验证。
- 即使是个人自用、单机运行的软件,只要机器上有重要数据或能访问网络,也需要验证。
- 提出一个未被讨论的问题:软件验证是否存在 scaling law?验证 1K 行与 10K 行代码的成本如何增长?
- 指出目前所有 AI 需求模型都只建模了 AI 编码、测试与安全评估需求,验证(verification)需求尚未被建模,值得研究。
「漫话AGI」频道最新
- 密码学家警告:AI 攻击者不受补丁周期束缚,防御太慢 — matthew_d_green · 2026-10-24
- 「AI 审稿胜过人类」结论遭质疑:仅 10 篇人工对齐验证 — IanArawjo · 2026-10-24
- 耳机坏了问 AI 后直接下单 $200，GEO 归因再添真实案例 — steveplunkett · 2026-10-24
- Michael Nielsen 晒银行提示:AI 进化快到「月」已不是合适量词 — michael_nielsen · 2026-10-24
- 法国设 AI 合写文学奖,参赛须提交模型与提示词技术档案 — lmoroney · 2026-10-24
- 「AI 赛博阳痿」：当 AI 替你省掉过程，快乐也一起消失 — dotey · 2026-10-24