# 形式検証

AIが書いたコードを、読まずに信頼できるか — 「証明」を強制する新言語Bend 2

Bend 2はAIに正しさの数学的証明を書かせる新プログラミング言語。LAWS.bendで不変条件を定理として宣言し、CPU/GPU両対応でC並みに速い。何が新しいのか、実力の見方を解説。