https://bend-lang.com/

Bend：用数学证明挡住AI幻觉bug的语言

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