Bend编程语言发布，称可通过数学证明验证AI代码修改

Bend 是一种新型编程语言，旨在通过形式化验证阻止 AI 生成代码时的错误。它通过 LAWS.bend 文件声明规则，要求 AI 在修改代码时提供数学证明以确保规则不被违反。Bend 支持 GPU 并行计算，编译速度快，目标是达到 C 和 CUDA 的性能水平。项目已开源，提供安装方式、使用指南和示例代码，支持在 Linux 和 macOS 上运行，目标后端应用。