EDITION
ROLLING EDITION
AOIFUTURE News — AIの実行力を、承認と検証の境界で支える
実行バイトへ結ぶ承認とエージェント型コード監査を深掘り。幻覚検出、静的解析、ローカル支援、基盤脆弱性を短報で追う。
SOURCE-FIRST SIGNALS
Signals
承認内容を実行バイトへ結び付ける、DeFiエージェントのPACE
Source fact
著者らは、型付き取引意図、決定論的ポリシー検証、署名付きPolicy Decision Recordを組み合わせ、承認した意図・ポリシー・シミュレーションを実行バイトへ暗号学的に結び付けるPACEを提案した。40タスク・2800試行の決定論的サンドボックスでunsafe execution rate 0.00と報告している。
Why this signal matters
Why selected
自然言語の承認を、再生・期限・実行内容まで検証できる機械的な境界へ変える研究。
選定方針AOI note
承認は文言だけでなく、ポリシー版、シミュレーション、期限、最終実行バイトへ結び付ける。
AIによるコード監査を、検証と反復を含む脆弱性発見パイプラインへ
Source fact
Google Threat Intelligence Groupは、複数段階のエージェント型ソースコードレビュー手法を公開し、社内ツールが顧客コードで数百件の脆弱性候補を発見し、割当済みまたは保留中のCVEを伴う多数のベンダー通知につながったと説明した。
Why this signal matters
Why selected
AI監査の価値を、単発の指摘ではなく再現、検証、ベンダー通知まで含む運用として捉えられる。
選定方針AOI note
モデルの発見をそのまま脆弱性扱いせず、再現・人間確認・責任ある開示を別ゲートにする。
MoE内部のルーティング信号で、幻覚箇所をトークン単位に検出
Source fact
著者らはMoEのルーターエントロピー、専門家間の不一致、利用パターンを使うInnerExpertを提案し、5データセットと2つのMoE構成で最大0.91の回答単位AUROC、0.76のトークン単位AUROCを報告した。
Why this signal matters
Why selected
回答全体の信頼度だけでなく、疑わしい区間を局所化する手掛かりになる。
選定方針AOI note
評価では回答単位とトークン単位を分け、ラベル生成器の偏りも記録する。
CodeQL 2.26.3、GitHub ActionsとJavaScript系のデータフロー精度を更新
Source fact
GitHubはCodeQL 2.26.3でJavaScript、TypeScript、Vueのソースモデルを追加し、merge_groupイベントのgithub.event.merge_groupを未信頼入力として扱うなどGitHub Actionsクエリを改善した。
Why this signal matters
Why selected
AI生成コードや自動化ワークフローを含む開発基盤では、静的解析側のモデル更新も防御品質を左右する。
選定方針AOI note
解析エンジン更新時は、新規検出だけでなく消失した警告とクエリ互換性も差分確認する。
NVIDIA G-Assist、対応GPUを広げつつモデル使用メモリを40%削減
Source fact
NVIDIAはNVIDIA Appの更新でProject G-Assistを6GB以上のVRAMを持つGeForce RTX GPUへ広げ、新モデルは従来より40%少ないメモリを使うと発表した。
Why this signal matters
Why selected
ローカルAI支援は最大性能だけでなく、常駐時のメモリ予算と対応ハードウェアの広さが利用可能性を決める。
選定方針AOI note
ローカルアシスタントは品質と同時にVRAM占有、待機負荷、ゲーム・制作アプリとの競合を測る。
Ciscoの8月セキュリティ公開、CrossworkとSecure WorkloadにCVSS 10.0
Source fact
Cisco PSIRTは8月19日の一括公開で、CrossworkとSecure WorkloadのSecurity Hardening ReleaseをCritical・CVSS 10.0として掲載し、修正版への更新を推奨した。
Why this signal matters
Why selected
AI基盤を支えるネットワークとワークロード管理の脆弱性は、モデル層とは別の運用優先度を持つ。
選定方針AOI note
資産照合後に個別アドバイザリを読み、露出、固定版、保守窓、ロールバックを分けて判断する。