Bend 编程语言发布：以 Lean 式证明阻断 AI 编码错误，并支持 C 级速度与 GPU 并行

编程语言 Bend 正式推出，定位为通过证明阻断 AI 编码错误的语言，宣称单核接近 C 速度、同一二进制可跑 16 核或 GPU 并达百倍加速。