「証明」によりAIの誤りを阻止しGPU上で動作する高速プログラミング言語「Bend」、C言語並みの処理速度・CUDAによる並列処理・Leanによる形式的証明・Python風の構文

※ この記事は外部サイトのコンテンツです。下のボタンから元記事をご覧ください。