#AI 代码安全

Bend 语言开源：用证明阻止 AI 写错代码

GitHub 项目 Bend 发布一门面向后 AGI 时代的新编程语言，通过 LAWS.bend 声明规则并要求编译器生成数学证明，从而机械验证 AI 生成的代码是否符合意图。项目宣称编译速度接近 C、可全量运行在 GPU 上，并能在一秒内完成其他证明助手需数分钟的校验。