Bend：支持形式化证明与GPU加速的新型编程语言

OmniTools 9月18日消息，Bend 是一种新型编程语言，旨在通过内置形式化证明机制降低 AI 系统运行时的错误风险。该语言可编译为原生代码，单核性能接近 C 语言，同一二进制文件可运行于多核 CPU 或 GPU，官方称在并行场景下可获得显著加速。

Bend 的类型检查器同时承担证明验证功能，可在秒级完成规则合规性检查；支持无锁并行，并允许开发者通过 LAWS.bend 文件声明行为约束，以规范 AI 执行过程。