开源并行编程语言 Bend 推出基于形式化证明的 AI 纠错机制

开源编程语言 Bend 推出通过数学证明拦截 AI 编码错误的设计，允许开发者在 LAWS.bend 文件中声明不可破坏的应用规则。在 AI 修改代码时编译器会强制要求数学证明并在秒级完成校验，同时该语言无需手动编写线程或 GPU kernel 即可实现多核与 GPU 自动并行。目前该项目处于早期阶段，主要适配 Linux 和 macOS 平台的后端与 Agent 协作开发。