Harmonic 称两年内所有代码将被形式化验证，遭业内逐条反驳

AI 数学公司 Harmonic 发表激进预测：随着 AI 生成代码大规模普及，两年内所有代码都将被形式化验证，使其成为主流工程范式。该判断随即遭到质疑，有管理 300 万行代码的开发者逐条反驳，指出形式化验证只能证明代码符合规约，规约本身仍可能出错，不阅读 spec 就无法判断正确性。

2026-11-05 ~ 2026-11-06 · 2 条相关