gihyo.jp
Original published:

GPU上で動く高級言語「Bend 2」公開 ——AIが書くコードを数学的な証明で検証

並列実行可能な高級言語Bendのv2版が公開され、AI生成コードの数学的検証に活用される

Key points

  • •Victor Taelin氏が9月17日にBend 2の公開をXで発表した
  • •CPUおよびGPU上で並列実行できる高級言語として開発されている
  • •AIが生成するコードを数学的な証明を用いて検証することを目的としている
See more