各方报道 2 篇
Hacker News – AI·09-18 04:36★ 3
Bend 语言：以证明阻断 AI 错误并在 GPU 上运行
原文 Bend 是一门新编程语言，通过形式化证明机制来阻止 AI 生成代码中的错误，并支持在 GPU 上运行。该项目在 Hacker News 上获得较高关注，讨论集中在语言设计与 AI 辅助编程的可靠性问题上。
Hacker News – AI·10-26 07:41★ 2
Bend 语言开源：用证明阻止 AI 写错代码
原文 GitHub 项目 Bend 发布一门面向后 AGI 时代的新编程语言，通过 LAWS.bend 声明规则并要求编译器生成数学证明，从而机械验证 AI 生成的代码是否符合意图。项目宣称编译速度接近 C、可全量运行在 GPU 上，并能在一秒内完成其他证明助手需数分钟的校验。