AIが書いたコードを、読まずに信頼できるか — 「証明」を強制する新言語Bend 2
Bend 2はAIに正しさの数学的証明を書かせる新プログラミング言語。LAWS.bendで不変条件を定理として宣言し、CPU/GPU両対応でC並みに速い。何が新しいのか、実力の見方を解説。
BendAIコーディングプログラミング言語形式検証GPUオープンソース速報
2件の記事
Bend 2はAIに正しさの数学的証明を書かせる新プログラミング言語。LAWS.bendで不変条件を定理として宣言し、CPU/GPU両対応でC並みに速い。何が新しいのか、実力の見方を解説。
Vercel LabsがAIエージェント専用のシステムプログラミング言語「Zero」を公開。コンパイラがJSONでエラーを出力し、エージェントが自力で修復する設計思想を解説。