AIエージェント向け言語「Bend 2」の解説。証明検査機能を持ち、AIの誤りをブロックする高速なプログラミング言語であるBendが、コードレビューなどの開発ボトルネックをどう解決できるのかを考察します。