AI News HubLIVE

政策の最新ニュース

中国の習近平国家主席、新たなAI同盟「WAICO」を発足

中国の習近平国家主席は上海で開催された世界人工知能会議で、各国にAI協力を呼びかけ、29カ国からなる世界人工知能協力機関(WAICO)の設立を発表した。これは、米国に対抗し、中国をグローバルAIガバナンスのリーダーとして位置づける動きとみられる。

  • 習近平氏はAI開発は「一国の独奏」ではなく国際協力であるべきと主張。
  • 中国はWAICOを発足させ、インドネシア、ブラジル、ロシアなど29カ国が加盟。
サイト内本文

Linus Torvalds、LinuxにおけるAIコーディング批判者に「フォークするか、ただ去れ」

Linus Torvalds氏は、Linux開発におけるAIコーディングツールの使用を擁護し、AIは技術的メリットに基づく実用的なツールであると述べた。AIが完璧ではないと認めつつ、批評家はまず人間の欠点を見るべきだと促した。AIツールの使用による生産性低下を示す研究もあるが、Torvalds氏はその有用性を強調し、自身も趣味のプロジェクトで「バイブコーディング」ツールを使用していることを明らかにした。

  • Torvalds氏はAIは有用なツールであり、批判は恐怖ではなく技術的メリットに基づくべきだと述べた。
  • AIの不完全さを認めつつ、人間のメンテナーにも欠点があると指摘。
サイト内本文

自律エージェントのためのサンドボックスインフラを構築しました

NeoSigmaは、自律エージェントに安全で隔離された完全な実行環境を提供するサンドボックスインフラを構築しました。エージェントは実際の開発環境と同様に作業でき、すべてのアクションは制御され、再現可能で、使い捨て可能です。

  • サンドボックスは制御プレーン、実行プレーン、セキュリティ/ネットワークプレーン、データプレーンの4つのコアプレーンを備えています。
  • ウォームプールと意図予測により起動レイテンシを最小化し、エージェントはほぼ即座に作業を開始できます。
サイト内本文

Meta、AIで病気の従業員を解雇対象に選んだと非難される

Metaの元・現従業員26人が、同社がAIシステムを使って病気休暇や家庭休暇中の従業員を不当に解雇したとして提訴。Metaは「決定は人が行った」と否定。

  • 26人の従業員がMetaを提訴、休暇中の従業員をAIが不当に解雇対象としたと主張。
  • Metaは5月に約8000人(全世界の10%)を解雇。原告は裁判所命令と独立監査を要求。
サイト内本文

金融サービスにおけるエージェント型AIのROIを証明する

この記事では、金融サービスにおけるエージェント型AIのROI証明の課題を取り上げ、従来の監視ツールではマルチエージェントシステムの動的なコスト構造を処理できないと指摘する。RFP処理の自動化とAMLコンプライアンス監視という2つの実際のユースケースを通じて、LangChainプラットフォーム(LangSmith、LangGraphを含む)とPay-iの経済インテリジェンスプラットフォームを組み合わせ、エンジニアリングレベルの可観測性をビジネス価値に結びつけ、リーダーシップにAI投資のROIを示す方法を紹介する。

  • マルチエージェントシステムのコスト構造は動的であり、従来のFinOpsツールでは対応できない。
  • LangSmithがエンジニアリングレベルの可観測性を提供し、Pay-iがコストをビジネス成果に結びつける。
サイト内本文

AppleがOpenAIを訴える:その真意は?

AppleがOpenAIを提訴しました。訴状は読み応えがあり激しい内容ですが、多くの専門家は告発内容の多くは業界の標準的なやり方に過ぎないと指摘しています。Appleの本当の目的は何か、なぜ公然とOpenAIと戦うのか?今回のThe Vergecastでは、NilayとDavidが訴訟を詳細に分析し、Appleの過去の派手な訴訟の歴史を振り返りながら、競合を恐れているのか、それともOpenAIの弱みに付け込もうとしているのかを考察します。また、Appleは新しいパブリックベータ版ソフトウェアをリリースし、新Siri AIが注目されています。さらに、OpenAIデバイスやPixelスマートフォンのリーク、OnePlusの米国・欧州市場撤退など、今週のガジェットニュースもお届けします。

  • AppleがOpenAIを提訴、専門家は告発を業界標準と見なす。
  • Appleの動機:競争への懸念か、OpenAIの弱みに乗じるか。
サイト内本文

疑問を追いかけて

ベイリー・フラニガン助教授は、民主主義を活性化するための複雑な計算手法にたどり着きました。彼女はMITのシュワルツマン・カレッジ・オブ・コンピューティング、政治学科、電気工学・コンピュータ科学科の共同教員であり、市民集会の参加者をランダムに選出するアルゴリズムを開発し、Panelot.orgで公開しています。

  • ベイリー・フラニガンは医学から公衆衛生、経済学を経て、コンピュータ科学と政治学の学際研究に至った。
  • 彼女は市民集会の参加者をランダムに選出するアルゴリズムを開発し、Panelot.orgに実装した。
サイト内本文

Databricksでサッカーコーチングアプリを構築する

コーチズコーナー(Coach's Corner)は、毎秒25フレームの試合トラッキングデータを、サブ秒で動作する2D/3D戦術ベンチに変換するDatabricksアプリです。リプレイ、イベント分析、スカウトチャット、対戦相手の資料エージェントを統合。Lakeflowパイプライン、DBSQL、Lakebaseを活用し、ガバナンスされたデータに基づくGenie、ベクトル検索、エージェントによるAIインサイトを提供し、高頻度データの意思決定におけるユーザビリティギャップを解消します。

  • コーチズコーナーは、データの取り込み、変換、AIを単一プラットフォームに統合し、リアルタイムの戦術インサイトを提供します。
  • Spark宣言的パイプラインで5100万行を処理し、DBSQLで1〜3秒のクエリ応答を実現。
サイト内本文

SmartsheetがAWS上でリモートMCPサーバーを構築した方法

この記事では、SmartsheetのリモートMCPアーキテクチャの概要を、その背後にあるAWSインフラストラクチャに焦点を当てて説明します。セキュリティ、ガバナンス、スケーリングとデプロイ、そしてSmartsheetがAWS上で構築したAI固有の最適化が含まれます。

  • Smartsheetは、AIクライアントがデータや機能に直接アクセスできるリモートMCPサーバーをAWS上に構築しました。
  • 主要なAWSサービスには、AWS Fargate、Amazon Kinesis、Amazon Bedrock、Amazon Neptuneが含まれます。
サイト内本文

Jira、Linear、GitHub Issues、Markdown から AI エージェントを実行

Startup Factory は、Jira、Linear、GitHub Issues、Markdown などのプロジェクト管理ツールを AI エージェントによる統制のとれたデリバリーシステムに変えるオープンソースフレームワークです。階層的な安全境界、決定論的スケジューリング、マルチモデルサポートを提供します。

  • Startup Factory は、プロジェクト管理ツールを AI エージェントに接続し、エンドツーエンドの製品デリバリーを実現します。
  • 決定論的な PM スーパーバイザーが3分ごとにボードをチェックし、タスクを適切なエージェントチームにルーティングし、ガバナンスと安全性を強制します。
サイト内本文

ポータブルAIメモリか永久ロックインか

AIメモリが新たなベンダーロックインになっていると論じる記事。2026年7月現在、実用的な移植性は存在せず、行動、コンテキスト、関係の3種類のロックインを特定。CogneeやByteRoverなどの先駆者を評価しつつ、単一ベンダーのフォーマットは方言に過ぎず、中立的な交換標準が必要だと主張。欧州の規制圧力が加速する可能性。

  • 2026年7月時点でAIメモリの実用的な移植性はなく、プラットフォーム切り替えはゼロからのスタートを意味する。
  • メモリロックインは行動、コンテキスト、関係の3層にわたり、関係ロックインが最も移行困難。
サイト内本文

Bunkerhillが5500万ドルを調達、医療システム向けエージェント型AIを拡大

Bunkerhill Healthは5500万ドルのシリーズBラウンドをクローズし、エージェント型AIプラットフォーム「Carebricks」を拡大する。同プラットフォームはクリーブランド・クリニックやUTMBなどで稼働中。UTMBでは20以上のエージェントが稼働し、冠状動脈石灰化検出エージェントが患者の生命を救った事例などが報告されている。

  • Bunkerhill Healthが5500万ドルを調達、Sequoia CapitalやKhosla Venturesなどが参加。
  • Carebricksは病院が独自のAIエージェントを構築できるプラットフォーム。
サイト内本文

トランプ氏が中国の選挙データ盗用を非難する中、習近平氏は上海でAIリーダーシップを強調

トランプ米大統領が中国による米選挙データ盗用を非難する一方、習近平国家主席は上海の人工知能(AI)サミットで、中国が責任ある世界的リーダーとしてAI発展を主導する姿勢を強調した。米中技術競争が激化する中、中国はAIの国際ルール策定と新たな国際協力機関の設立を推進する。

  • トランプ氏、中国が2億2000万件の米有権者データを不正取得したと非難。中国は否定。
  • 習主席、AIは人類の福祉のために使われるべきと訴え、米国の国家安全保障の拡大解釈を批判。
サイト内本文

「これを提供しなければ死ぬ」:DoorDashのエージェント向けCLIは必然か

DoorDashはAIエージェントが人間の承認なしにリアルな注文を出せるコマンドラインインターフェース(dd-cli)を公開した。開発者にとっては朗報だが、非中間化とDoorDashのビジネスモデルに関する議論を呼んでいる。専門家は、エージェント主導の注文が標準になれば、APIを提供しない方がリスクが高いと警告する。

  • DoorDashがdd-cliを発表。AIエージェントがコマンドラインから直接食品を注文可能に。
  • CLIは人間の確認ステップを排除し、エージェントの自律的な購入を実現。
サイト内本文

エンタープライズAI:導入後は価値の証明が不可欠

組織はAI導入から一歩進み、測定可能なビジネス価値、ワークフローの再設計、そしてAIをスケールさせるために必要なガバナンスに注力している。

  • エンタープライズAIの焦点は導入からビジネス価値の証明へ
  • ワークフローの再設計はAIの効果を最大化する鍵
サイト内本文

AIに備えて子供たちをどう準備すべきか?

AIは多くの業界を変革したが、教育分野では進展が遅い。学習における鍵は「意味」が「技術」に優先し、思いやりのある人間の関与が必要だからだ。本記事では、従来のカリキュラムを維持するトラックと、子どもの興味を重視するトラックの二軸アプローチを提案。AI時代には意味を重視し、実世界のプロジェクトや認知見習い制度を通じて準備する重要性を説く。

  • AIチューターは教育を変えていない。学習には技術だけでなく意味と人間の関与が必要だから。
  • 二つのトラックを提案:カリキュラムトラック(従来の資格取得)と子ども主導トラック(興味の追求)。
サイト内本文

MetaのMuse Spark 1.1がDatabricksで利用可能に、Unity AI Gatewayで完全に管理

Metaの新モデルMuse Spark 1.1が、DatabricksのUnity AI Gatewayのモデルプロバイダサービス(MPS)を通じて利用可能になりました。このサービスにより、組織はUnity Catalogでプロバイダを一度登録するだけで、APIキーの乱立を排除し、おなじみのパーミッション、レート制限、ガードレールを通じて一元管理できます。また、すべてのリクエストはトークン使用量、レイテンシ、コスト帰属、監査ログとともに自動的に追跡され、エンドツーエンドの可観測性を実現します。

    サイト内本文

    'SaaS終焉論'は過大評価:WorkdayなどソフトウェアベンダーがAIでどう生き残るか

    専門家は、エージェンティックAIがエンタープライズソフトウェアの収益モデルを破壊すると警告するが、『SaaS終焉論』は過大評価されている。プロバイダーは中核能力を強化して脱仲介化に備える。

    • エージェンティックAIにより、2030年までに最大2340億ドルの企業アプリ支出が代理店裁定にさらされる可能性。
    • Workday、Freshworks、Snowflakeなどのベンダーは、信頼性、データ、専門性で競争力を維持。
    サイト内本文

    AIエージェント向けブラウザ自動化CLI

    BrowserActはAIエージェント向けのCLIツールで、アンチボット対策を突破し、人間への引き継ぎ、並行タスクの干渉防止、複数アカウントの分離を実現します。環境・実行・人間の3層ブロック解除、3つのブラウザモード、LLM推論に最適化された出力形式を備えています。

    • 3層のブロック対策:環境層(指紋偽装、TLSローテーション、プロキシ切替)、実行層(CAPTCHA解決、保護ページ抽出)、人間層(リモートアシスト)。
    • 3つのブラウザモード:ローカルChrome再利用、ステルスプライバシー(セッションごとに新規指紋)、ステルス固定ID(安定した指紋とIP)。
    サイト内本文

    エージェンティックAIの無料リソース5選

    エージェント構築の基礎から理論、実践、評価までをカバーする5つの無料リソースを紹介。構造化されたコースから理論的な教科書まで、学習を効率的に進められます。

    • Microsoftの「AI Agents for Beginners」は、レッスン形式でエージェントの基本から高度なパターンまでを学べる。
    • Hugging FaceのAIエージェントコースは、複数のフレームワークを比較しながら実践的に学べる。
    サイト内本文

    国家による検閲に対抗するための普遍的なAI倫理基準の提案

    各国のAIモデルを検証した結果、地域ごとに深刻な検閲が行われていることが判明。著者は、事実を政治的利益よりも優先する自主的な国際認証基準を提案している。

    • インド、中国、ヨーロッパ、米国のAIモデルは、歴史、カースト、生物学、移民などのトピックに関して異なる検閲を示す。
    • 現在の検閲は法的な恐怖とイデオロギー的な掌握に起因し、AIの真実性を低下させている。
    サイト内本文

    エージェント開発における適切な仕様の度合い

    本稿は、エージェント開発におけるゼロ仕様と過剰仕様の両方に反対し、実行可能なチェックを伴うバランスの取れたアプローチを提唱する。ボトルネックは正しさの定義に移行しており、適切な仕様の量はタスクの種類(探索的、境界あり、決定的、マルチエージェント)に依存すると強調する。

    • ゼロ仕様は修正ループのコストを隠す。適度な仕様と実行可能なテストが総コストを削減する。
    • 実装を拡大する前に仕様の検証が重要。
    サイト内本文

    ソフトウェアエンジニアリングにおけるAIに対する私の考えを変える5つの研究

    本記事は、ソフトウェアエンジニアリングにおけるAIに関する5つの最近の研究をまとめたもので、AIが上流の作業を圧縮する一方で、下流のボトルネックを生み出していることを明らかにしています。主な発見:GitHub Copilotは用量反応効果によりPRスループットを約40%向上させる;AIによるコーディングの生産性向上(最大+180%)はデリバリープロセスを通じて大幅に減衰し、最終的なリリース数は+30%にとどまる;生産性と開発者体験は時間とともに乖離する;開発者はコード生成ではなく検証タスクに対するAIを望んでいる;そして、技術的負債に加えて、認知的負債と意図的負債が重要なソフトウェア健全性の問題として浮上している。

    • GitHub Copilotの用量反応分析では、使用率が高い週にコーディング時間あたりの完了PR数が約40%増加し、大規模PR(7ファイル以上)で効果が顕著。
    • AIによるコーディングの生産性向上(最大+180%)はデリバリーパイプラインを通じて減少し、リリース数は+30%程度にとどまる。
    サイト内本文

    宇宙でのコーディング、AI-XR、そして開発者のための新しいインタラクションパラダイム

    JetBrains Researchは、AIと拡張現実(XR)の組み合わせがどのようにテッククリエイターに新しいインタラクションパラダイムをもたらすかを調査しました。専門家インタビューを通じて、5つのテーマを特定:AI-XRシステムへの意図伝達、環境を適応させるAI、主流採用の障壁、制作ワークフローの変化、プライバシーと倫理的リスク。研究は、XRハードウェアとAIの融合が技術制作に革命をもたらす可能性があるが、技術的・認知的・組織的制約が残ると示唆しています。

    • AIとXRは、マウスとウィンドウのパラダイム以来60年ぶりのインタラクション革命をもたらす可能性がある。
    • 13人の専門家インタビューから5つの主要テーマが明らかになった。
    サイト内本文

    構造的にチャンク化され、事前埋め込みされたEU AI法のSQLiteコーパス

    このデータセットは、EU AI法(規則(EU) 2024/1689)の単一ファイルで事前埋め込みされたSQLiteコーパスを提供します。法的構造に基づいてチャンク化され、BGE-M3密埋め込み、メタデータ、リスクレベルラベルなどを含み、ローカルクエリとRAG研究のために設計されています。

    • 933チャンク:180の前文、522の条文パラグラフ、68の第3条定義、163の附属書ポイント
    • BGE-M3密埋め込み(1024次元、L2正規化)によるセマンティック検索
    サイト内本文

    ロバート・レイドロウ:「リアリティ・イーターズ」アルバムレビュー

    このNMCデビューアルバムは、アインシュタインの場の方程式やニュートンの万有引力、人工知能などをテーマにしたレイドロウの野心的なオーケストラ作品を収録。

    • レイドロウのアルバム『リアリティ・イーターズ』はアインシュタインの場の方程式、ニュートンの万有引力、人工知能などを探求
    • ピアノ協奏曲『ワープ』はアインシュタインの場の方程式に対する音楽的解答を提案
    サイト内本文

    EU、グーグルに検索データ共有とAndroid開放を強制

    欧州連合(EU)はグーグルに対し、検索データの共有とAndroidオペレーティングシステムを競合AI企業に開放するよう求める新たな規制を発表した。これはテクノロジー大手の支配力を抑制し、イノベーションを促進するための措置だが、グーグルはユーザーのプライバシーやセキュリティを損なう恐れがあると警告している。

    • EUはグーグルに対し、匿名化された検索データを競合他社と共有し、サードパーティのAIアシスタントがAndroidで同等に動作することを要求。
    • グーグルは2027年1月までに、競合AIエージェントの音声起動とバックグラウンドタスク実行を可能にする必要がある。
    サイト内本文

    力を注入するのに遅すぎることはない: 反応的な力注入によるVLA後トレーニングの加速

    本論文では、事前学習済み視覚-言語-行動(VLA)ポリシーに接触反応性を追加する力認識型後トレーニングフレームワークLIFTを提案する。反応的な行動エキスパートの移植、因果力記憶とクロスアテンションによる6Dエンドエフェクタ力の注入、オンラインDAggerループとの組み合わせにより、タオル折り、本の挿入、ハノイのリング配置において、視覚のみの後トレーニングを上回る性能を示した。

    • LIFTは汎用的な操作知識を保持しつつ、VLAポリシーに接触反応性を付加する。
    • 反応的行動エキスパート、因果力記憶、オンラインDAggerトレーニングを活用して分布シフトに対処する。
    サイト内本文

    セマンティックオーディオ駆動型動的人型全身制御

    本研究は、音楽や音声の入力に基づいてリアルタイムに運動スキルを自律選択できる、セマンティックオーディオ駆動型人型ロボット制御のためのマルチモーダルオーケストレーションフレームワークを提案する。Unitree G1人型ロボットで検証され、ロバストなシミュレーションから実機への転送が示された。

    • 人型全身制御のためのセマンティックオーディオ駆動フレームワークを提案し、リアルタイムのスキル選択を実現。
    • 音楽入力はオーディオフィンガープリンティング、音声入力は模倣学習スキルライブラリで処理。
    サイト内本文

    関節剛性が不確かなモータ位置制御フレキシブル関節ロボットの適応制御

    研究者らは、不確かな関節剛性を持つフレキシブル関節ロボットのための適応制御手法を提案する。このアプローチは、暗黙的な制御則と制御入力依存の回帰行列を用いて非線形トルク-たわみ関係の推定を更新し、モータ位置制御器の誤差に対するロバスト性を解析する。非線形剛性を持つフレキシブル関節での実験により有効性が確認された。

    • フレキシブル関節ロボットのモデルベース制御は正確な剛性モデルに依存するが、実際には動作条件や経年変化によりモデルが利用できないことが多い。
    • 提案する適応制御手法は、不確かな非線形トルク-たわみ関係の推定をオンラインで更新する。
    サイト内本文

    SD-MAR:合成データと強化学習によるマルチ画像分析推論

    SD-MARは、視覚言語モデル(VLM)のマルチ画像分析推論タスクにおける訓練と評価のためのフレームワークです。制御された摂動によりペアの視覚シナリオを構築し、意味変化の帰属や定量的比較にわたる推論タスクを生成します。GRPO-liteと後方割引配分(BDA)を用いた強化学習手法を採用し、KL正則化を除去してポリシー最適化を強化します。Qwen2.5-VL-7BとInternVL3-8Bでの実験では、ドメイン内精度が最大36.95%向上し、Qwen2.5-VL-7BはSD-MARベンチマークでGPT-4.1を上回りました。ドメイン外汎化性能は維持または向上し、MME、MMMU-Pro、MathVistaでは1%以内、MMBenchでは最大4%の改善を示しました。LLM-as-judge評価では、両モデルで論理的整合性と説明品質の一貫した改善が確認されました。

    • SD-MARは合成データによりマルチ画像推論タスクを生成。
    • GRPO-liteとBDAによる強化学習でポリシー最適化を強化。
    サイト内本文

    推論時概念抑制とテキストからビデオへのモデルのビデオ中心評価

    本論文では、テキストからビデオ(T2V)モデルにおける概念レベルのアンラーニングのための、学習不要な推論時フレームワークSIRUSを提案する。SIRUSは、ターゲット概念に関連するプロンプト証拠を特定し、サンプリング中にその表現を抑制する。テキストエンコーダやノイズ除去ネットワークの更新は不要である。また、ターゲット忘却、非ターゲット保持、映像品質、脱獄ロバスト性、効率を個別に測定するビデオ中心評価フレームワークを導入。CogVideoXにおいて、SIRUSは平均忘却成功率70.4%、フレームヒット率25.7%を達成し、VideoEraserの44.4%/47.2%を上回り、VBench品質低下を平均-0.043から-0.016に低減した。Wan2.2への転移実験により、SIRUSが現代のT2Vバックボーンに一般化することが示唆される。

    • SIRUSは、プロンプト内のターゲット概念を特定・抑制することでT2Vモデルの概念レベルのアンラーニングを実現する学習不要の推論時フレームワーク。
    • 忘却、保持、品質、ロバスト性、効率を個別に測定するビデオ中心の評価フレームワークを提案。
    サイト内本文

    Just Keep Prompting:VLMにおける反復的なソクラテス的プロンプトの評価

    JKPフレームワークは、繰り返しの挑戦的な質問に対するVLMの安定性を評価する。GPT-4o、Gemini 2.5 Pro、Qwen3-VL-30Bの評価では、大幅な不安定性と回答の反転が見られ、モデルごとに異なる圧力応答プロファイルが明らかになった。

    • JKPは3つの戦略(敵対的否定、純粋ソクラテス的尋問、文脈認識ソクラテス的要約)を用いて、最大10ターンのプローブを行う。
    • 全体的な精度の変化は小さいが、軌跡分析では頻繁な回答反転と不安定性が明らかになった。
    サイト内本文

    閉ループ知識ダイナミクス:飽和と脱出のための操作的枠組み

    本研究は、大規模言語モデルや強化学習などの閉ループ知識システムが内部フィードバックの繰り返しにより飽和する理由を分析し、構造的介入による脱出を可能にする3層の操作的枠組みを提案する。リアプノフ・ドリフト条件を用いて安定性を特徴づけ、脱出はアトラクタ変位とKL下限で定量化される。ケーススタディとして、LLMコード修正、スパース報酬強化学習、ベイズ最適化が含まれる。

    • 閉ループシステムは内部フィードバックの繰り返しで収益が減少し、外部情報によるアトラクタからの脱出が必要。
    • 3層枠組み:知識状態は構造パラメータθに依存する遷移カーネルで進化し、介入はθを変更し検証可能。
    サイト内本文

    マルチドメイン検索における認証済みドメイン整合性:ラベル不要なドメイン別汚染制御と共形リスク保証

    本論文では、推論されたドメイン事後分布からクエリ時ラベルなしで、可能な場合にドメイン別汚染予算を認証し、不可能な場合は棄権するC3Rを提案する。最困難ドメインでの汚染削減を保証し、再サンプリングを通じて安定性を示し、較正カスケードよりも高い再現率を維持する。

    • C3Rはラベル不要のドメイン別汚染制御を共形リスク保証とともに提供する。
    • 有限サンプル転送バウンドを持つ2分割スキームを使用し、異種予算をサポートする。
    サイト内本文

    クローズドループ1型糖尿病制御のための解釈可能な言語モデル

    LLM-T1Dという新しいアプローチは、強化学習と大規模言語モデルを組み合わせて、1型糖尿病のための解釈可能なインスリンポンプコントローラを作成し、目標血糖範囲内の時間73.5%を達成し、明確な説明を提供します。

    • 強化学習とLLMを組み合わせて透明な意思決定を実現
    • 微調整されたLLaMA 3.1 8BおよびQwen3 8Bモデル
    サイト内本文

    捜索救助のための自律UAV群知能的三階層学習アーキテクチャ

    新しい論文は、捜索救助任務を実行する自律UAV群のための三階層階層学習アーキテクチャを提案し、ヘッブ神経可塑性、グラフニューラルネットワークとビヘイビアツリーを用いたマルチエージェント強化学習、BDI推論とデジタルツインを用いたメタ学習を統合する。フレームワークは形式的保証を提供し、群メタ認知を導入する。

    • 三層アーキテクチャは、反射、スキル、推論の生物学的階層に着想を得ている。
    • ヘッブ神経可塑性、GNN/ビヘイビアツリーを用いたMARL、BDI/デジタルツインを用いたメタ学習を採用。
    サイト内本文

    AI生成コードへの信頼を再構築するセマンティックコントラクト

    AIのコード生成速度が人間のレビューを上回り、深刻な信頼危機が生じている。単体テストやプロンプトエンジニアリングだけでは不十分。本稿では「セマンティックコントラクト」を提案する。これは型安全でコンパイル時に検証可能な設計図であり、要件とコードの間に位置し、実装が誰(または何)によって書かれたかに関わらず正確性を保証する。ソートアルゴリズムとECサイトのチェックアウト例を用いて、コントラクトの構成要素、状態処理、既存システムへの統合方法を示す。

    • AIコードの不透明性とレビュー速度の限界が信頼を損なう。
    • セマンティックコントラクトは型付き状態とコンビネータでコンパイル時チェックを実現。
    サイト内本文

    AIの真のボトルネックはデータ配信にある

    企業がAIを大規模に展開する中、パフォーマンスとROIの最大の障害は、データを処理するハードウェアではなく、データを移動させるインフラにある可能性がある。本記事は、GPUがアイドル状態になる原因は、多くの場合、ストレージからコンピュートへの非効率なデータパイプラインによる「データ飢餓」であると主張する。アプリケーション配信コントローラを用いた疎結合アーキテクチャによるデータフローの最適化を提唱し、到達可能性、ポリシー、配信という3つのレジリエンスの次元を強調する。

    • AIの性能問題は、多くの場合、計算能力ではなくデータ配信インフラに起因する。
    • ADCを用いた疎結合アーキテクチャは、ストレージとコンピュートを分離し、柔軟性と性能を向上させる。
    サイト内本文

    Gradle Technologies が Develocity に社名変更

    Gradle Technologies は Develocity に社名変更し、AI 主導のソフトウェアデリバリーに特化します。同社は、AI がボトルネックを開発者からパイプラインに移したと指摘し、新たなガバナンスと効率性の必要性を強調しています。

    • Gradle Technologies が Develocity に社名変更、AI主導のソフトウェアデリバリーに注力。
    • AIによりボトルネックが開発者からパイプラインへ移行。
    サイト内本文

    Preempt AI v2 – AIは強力ですが、安全性も確保しましょう

    Preempt AI v2は、AIアプリケーション向けのセキュリティ標準であり、MLを活用してプロンプトインジェクション、脱獄、データ漏洩を防御します。複数言語対応、レイテンシ10ms未満、精度99.65%。

    • Preempt AI v2は、プロンプトインジェクション、脱獄攻撃、データ漏洩からAIアプリケーションを保護します。
    • 機械学習モデルにより99.65%の検出精度を実現、12以上の言語と41以上の攻撃タイプをサポート。
    サイト内本文

    Meta、Instagramユーザーをタグ付けしてAI画像を生成する機能を削除

    Metaが新たなAIツール「Muse Image」を発表したが、他人のアカウントをタグ付けしてその公開写真からAI画像を生成できる機能が批判を浴び、数日後に無効化された。ユーザーは手動で許可をオフにしない限り、写真がAI生成に使用される可能性がある。

    • MetaのMuse Imageは、Instagramアカウントをタグ付けしてAI画像を生成する機能を備えていたが、批判を受けて無効化された。
    • ユーザーは設定で手動で許可をオフにしない限り、公開写真がAI生成に使用される可能性がある。
    サイト内本文

    VulnHunter: エージェント型AIセキュリティツール

    VulnHunter は、オープンソースのエージェント型AIセキュリティツールで、攻撃者優先の能動的分析をソースコードに直接適用します。悪用可能な脆弱性を特定し、誤検知を減らし、証拠に基づいた修正を提案します。

    • 従来の受動的なSASTスキャナとは異なり、攻撃者の思考をシミュレートして前方分析を行い、誤検知を削減。
    • 自身の発見を積極的に否定しようとする falsification engine を搭載し、優先度の高いアラートの正確性を保証。
    サイト内本文

    マイクロソフト、エンタープライズ規模でAIエージェントを展開

    マイクロソフトのFoundryプラットフォームは現在、8万以上の企業がAIエージェントを構築するために利用されています。製品担当バイスプレジデントのMarco Casalaina氏へのインタビューでは、プロトタイプと本番環境のエージェントの違い、エージェントハーネスの重要性、そして信頼性の高いエージェントを実現するためのコンテキストレイヤーの構築方法について説明しています。

    • プロトタイプのエージェントは、モデルではなく周囲のハーネスの問題で本番環境で失敗する。
    • エージェントハーネス(ランタイム、ツール、アイデンティティ、コンテキスト)はモデル自体と同じくらい重要。
    サイト内本文

    Forall:仕様駆動型AIコーディングと形式検証

    AstrioがForall(∀)を公開。仕様からコードと機械検証可能な証明書を自動生成するコーディングエージェント。CLIフルエージェントとMCP検証専用の2種類の利用方法を提供し、TypeScript、Java、Rustに対応。Apache-2.0ライセンス。

    • Forallはユーザーが記述した仕様に基づき、コードと形式証明を生成するAIコーディングエージェント。
    • CLIフルエージェントとMCP統合(検証のみ)の2つのモードを提供。
    サイト内本文

    米国ではAI生成物の著作権は認められない

    米国著作権局は、AIが生成したコンテンツには著作権が認められないと裁定。ある著者が、AIが執筆した初期の草稿を保存していなかったため、人間による創作部分を証明できず、著作権申請が却下された事例が浮き彫りに。

    • 米国著作権局はAI生成物の著作権を否定。
    • 著者がAI生成部分の記録を残さず、著作権取得に失敗。
    サイト内本文

    『Doom』が教えてくれたAI支援インシデント対応の教訓

    Rootly AIラボは、オープンソースのリアルタイムゲーム環境ベンチマーク「Doom Agent Arena」を開発。AIエージェントがMCPを介してDoomプレイヤーを制御し、インシデント対応に必要な推論、適応、意思決定能力を評価する。調査の結果、長い思考時間が必ずしも良い結果につながらないこと、エージェントが独自の「ランブック」を作成して効率化できること、迅速な判断が勝利に直結しなくても累積的に時間を節約できることなどが判明し、AI支援インシデント対応システムの設計に示唆を与えている。

    • Doom Agent Arenaは、ゲームフレームではなく構造化JSONを介して状態を観察し、高レベルな計画を立てることでLLMの推論能力をテストする。
    • 調査では、思考時間が長いエージェントほどパフォーマンスが低下する傾向が見られた。
    サイト内本文

    データセンターに血が流れる

    本記事は19世紀のラッダイト運動の歴史的実態を掘り下げ、その戦略、成功と失敗を分析し、なぜ現代の反AI運動が単純にラッダイト主義を模倣できないかを論じる。著者は、ラッダイト運動の特定の歴史的背景、地方性、具体的な要求が現在のAIへの懸念とは根本的に異なると指摘する。

    • ラッダイト運動は19世紀イギリスの織物職人による機械自動化への暴力的抵抗
    • 運動は鎮圧されたが、短期的な勝利を収め、後の労働改革に影響を与えた
    サイト内本文

    MemDecay:LLMエージェントのための領域認識型KVキャッシュ削除戦略

    新しい研究で、訓練不要の領域認識型KVキャッシュ削除ポリシーMemDecayが提案されました。セマンティック領域ごとに異なる優先度と減衰率を割り当て、固定キャッシュ予算下で重要な情報を保持します。実験では、システムトークンの半減期がスクラッチパッドトークンよりはるかに長く、ピンニングにより全設定で完全な精度を達成しました。

    • MemDecayはLLMエージェントのセマンティック構造を活用してキャッシュ管理を行う。
    • システムトークンの半減期(148~189ステップ)はスクラッチパッド(14~16ステップ)の10倍。
    サイト内本文

    OpenAI、AIモデルの安全性をテストするGPT-Redを発表

    OpenAIのGPT-Redは人間とAIの協力によるレッドチーミングでモデルの安全性を評価する新手法だが、企業は自社のワークフローとの整合性を確認する必要がある。

    • GPT-Redは人間の専門家とAIエージェントを組み合わせたレッドチーミング手法
    • モデル安全性テストにおいて革新的なアプローチ
    サイト内本文

    トピック

    政策 AI ニュース | AI News Hub