Altman 称 AI 找出补不完的漏洞，Goertzel 提议万亿美元形式化验证

bengoertzel · x · 2026-10-24

OpenAI CEO Sam Altman 警告：AI 模型正在发现超出传统黑客威胁模型之外的漏洞，他称之为「硬件级的疯狂东西」，并坦言「我不再认为我们能把所有漏洞都补上」。同周有报道称 PHP 的 PHP2Shell 漏洞正是用 OpenAI 模型发现的，可能导致远程代码执行与数据泄露。

Ben Goertzel 回应称，解决办法是用编程智能体把现有（几乎全是）糟糕代码替换为经形式化验证、具备安全属性的代码——这虽是巨大工程，但当前「尚未 AGI 却已超级强大」的 AI 技术完全能胜任。他建议政府若想为通往 Singularity 铺路，应先投入 5000 亿美元（最终或需万亿级）给开源社区，自动替换有缺陷的代码，并类比 2008 年救助银行的先例。