Ben Goertzel 倡议用编码 Agent 重写代码并做形式化验证

Ben Goertzel 提出用编码 Agent 将现有大量劣质代码替换为经过形式化安全验证的代码，以应对 AI 黑客风险。他认为这是艰难但可行的工程，并建议政府投入约 5000 亿美元乃至万亿级资金资助开源社区开发相关软件。