gihyo.jp
Original published:
GPU上で動く高級言語「Bend 2」公開 ——AIが書くコードを数学的な証明で検証
AI summary
Editorial policy並列実行可能な高級言語Bendのv2版が公開され、AI生成コードの数学的検証に活用される
Key points
- •Victor Taelin氏が9月17日にBend 2の公開をXで発表した
- •CPUおよびGPU上で並列実行できる高級言語として開発されている
- •AIが生成するコードを数学的な証明を用いて検証することを目的としている