Bend - A language that blocks AI mistakes via proof and runs on GPUs

Bend 用接近 Python 的语法表达程序，把高阶并行计算编译到 GPU，并用 LAWS.bend 与 PROOF.bend 承载可检查的证明。官方示例宣称类型检查可在 1 秒内完成、GPU 速度最高可达 100 倍，但语言和工具链仍在演进。它的实验性在于把并行性能与形式约束放进同一开发循环，而不是另加一个验证阶段。