Bend：用证明阻止 AI 犯错、可在 GPU 上运行的新语言
2026.09.18 · 产品 · 新语言 · 社区热议
Bend 语言发布，通过 Lean 证明和并行编译，让 AI 生成的代码可验证且高速运行。
Bend 是一种新编程语言，编译到原生代码，单核性能接近 C，支持多核和 GPU 并行，速度可提升百倍。其类型检查器兼作证明检查器，通过 LAWS.bend 声明规则，AI 生成的代码若违反规则则无法通过证明，从而阻止错误合并。
- 单核性能接近 C，GPU 上可快百倍
- 类型检查器即证明检查器，类似 Lean
- LAWS.bend 声明规则，AI 无法违反
- PROOF.bend 在提交前验证规则
- 支持自动并行，无需手动管理线程
为什么值得看
展示如何用证明确保 AI 代码正确，并兼顾高性能。
适合谁关注
关注 AI 编程可靠性和高性能并发的开发者。