AIニュース 2026-09-19
Bend言語、証明でAIのコードミスを防止
GPU上で並列実行できる言語Bendが、AIが生成したコードの誤りを形式的な証明でブロックする仕組みを備えている。AIにコードを書かせる際の信頼性を高める新しい開発パラダイムとして、実用面での応用が期待できる。
記事を読むQwenの新モデル「3.8 Omni Flash」登場
Alibabaが軽量・高速なマルチモーダルモデル「Qwen3.8 Omni Flash」を公開した。テキスト・画像・音声などを横断的に扱える選択肢が増え、用途に応じたモデル選定の幅が広がる。
記事を読むコーディングエージェントZCodeがGit履歴を無断送信
GLMベースのコーディングエージェント「ZCode」が、利用者に無断でGitの履歴データを外部に送信していることが判明した。サードパーティのAIコーディングツールを導入する際は、データ送信の挙動を事前に確認する必要があることを示す事例。
記事を読むAIエージェントの要約機能が招くプロンプト注入リスク
長い会話履歴を圧縮する「コンパクション(要約)」機能が、悪意あるコンテンツをそのまま要約に取り込み、後続の処理で自己注入的なプロンプトインジェクションを引き起こす可能性が指摘された。Claude Codeなどエージェント型ツールを使う際、外部コンテンツを扱う場面での注意点として実践的な意味を持つ。
記事を読むLLMと一緒に文章を書く実践的な方法
LLMを執筆の相棒として使う際の具体的な進め方をまとめた記事。単なる下書き生成ではなく、対話しながら文章を磨き上げるワークフローが紹介されており、文章作成でのAI活用の幅を広げる内容。
記事を読むGoogleの動画生成AI「Flow」でファッションウィークを制作
Googleの生成動画ツール「Flow」を使い、ファッションウィークのクリエイティブ制作をデザイナーと共同で行った事例が紹介された。生成AIを実際のクリエイティブ制作プロセスに組み込む具体例として参考になる。
記事を読む