https://bend-lang.com/

Bend：用证明挡住 AI 错误代码，还能跑在 GPU 上

一门通过形式化证明来防止 AI 写错代码的语言，同时支持 CPU 和 GPU。