dhh:人类独自审查关键代码将很快被视为极不负责任

deliprao · x · 2026-09-26

Ruby on Rails 之父 dhh 发表观点:很快,「关键代码仅由人眼审查」将被视为极不负责任的做法。前 Google 研究员 Delip Rao 引用并补刀:甚至「仅由人类编写」也会如此,未来属于「Lean 验证一切」(指形式化验证/证明辅助)。

原文链接 →

「漫话AGI」频道最新

更多「漫话AGI」频道 AI 资讯 →