Goertzel倡编码Agent重写并验证代码

Ben Goertzel 提出用编码 Agent 将现有大量低质量代码逐步替换为经过形式化安全验证的代码，以应对 AI 黑客风险。他认为这是一项艰难但可行的工程，并建议政府投入约5000亿美元乃至万亿美元级资金，资助开源社区开发相关软件。 目前这仍是倡议和资金方案，不代表相关重写、验证或资助已经实施。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。