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