Bend 语言发布：用法则与证明拦截 AI 写码错误，单核接近 C 且可跑 GPU

Bend 语言正式推出，定位为在 AGI 时代让人类精确约束 AI 写代码的方式，通过 LAWS.bend 声明法则并要求 AI 提交证明，违反法则的代码在数学上无法被合并。