「够用软件时代终结」：AI 时代重要软件都将被形式化验证

AGI Hunt 提出，服务器端、多用户软件未来都需经过形式化验证，连单机个人软件在涉及重要数据或网络访问时也不例外。其提出软件验证是否存在 scaling law，并追问验证 1K 行与 10K 行代码的成本如何增长，同时指出现有 AI 需求模型尚未建模 verification 需求。