Bend推出基于形式化证明约束AI代码正确性的新机制

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

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

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