OpenAI GPT-5.6 Sol、Terra、Luna が Amazon Bedrock で一般提供開始
OpenAI の最新モデルファミリー GPT-5.6 Sol、Terra、Luna が Amazon Bedrock で一般提供を開始しました。Sol は旗艦推論モデルで最高性能、Terra は日常的な本番作業向けのバランス型、Luna は高速低コストです。Amazon Bedrock の次世代推論エンジンは、バースト処理、プロンプトキャッシュ(90%割引)、ハードウェアレベルセキュリティを提供します。また、ChatGPT Work エージェントと Codex エージェントも発表されました。
- GPT-5.6 Sol、Terra、Luna が Amazon Bedrock で一般提供開始。
- Sol はコーディング、セキュリティ、エージェントタスクで新記録を達成。Terra は本番環境向け、Luna は高スループット低レイテンシ向け。
Show HN:Fleet Deck – マシン上のすべてのClaude Codeセッションを1つのボードで確認
Fleet Deckは、実行中のすべてのClaude Codeセッションを監視・管理するローカルツールです。各セッションの状態、競合警告、未処理リクエストを表示し、タスク割り当て、リモートコントロール、セッション復元、バッチ生成などを可能にします。コアはモデル呼び出しを一切行わず、フックイベントと決定論的ロジックに依存して安全性と効率性を実現します。
- Fleet DeckはすべてのClaude Codeセッションを1つのローカルボード(http://127.0.0.1:4711)に集約し、ステータス、競合、保留アクションを表示します。
- 組み込みの競合レーダーが、2つのセッションが30分以内に同じファイルに触れた場合に警告し、ワークツリーを認識します。
Siri AIはすでに私のiPhoneの使い方を変えている
iOS 27のパブリックベータが公開され、Siri AIがオプトインベータとして注目を集めている。筆者が1ヶ月間テストしたところ、Siri AIはコンサートのスケジュール確認やメールからのカレンダー追加など、複雑なクロスアプリタスクを処理できる。しかし現時点ではAppleの純正アプリのみ対応で、サードパーティの対応は秋の正式版まで待たなければならない。自然言語理解にまだ課題はあるものの、Siri AIはすでに筆者のiPhoneとのインタラクションを変えている。
- iOS 27パブリックベータ公開、Siri AIはオプトインベータ機能。システム全体のパフォーマンス向上に注力。
- Siri AIは自然言語で複数のアプリを横断する複雑な指示を理解・実行可能。
マイクロソフトCEO、フロンティアAI研究所に警告-企業は知的財産を守れ
サティア・ナデラ氏は、AI利用企業が2重の代償(現金と貴重なノウハウ)を払っていると警告。「逆情報パラドックス」を指摘し、自社AI学習環境の構築を提案。マイクロソフトはCopilotとAzure AI Foundryを解決策として売り込む。
- ナデラ氏はAI購入者が現金に加えて独自のビジネス知識も流出させていると指摘。
- マイクロソフト自身がOpenAIに投資しデータ収集型AIを推進している点で皮肉な警告。
Show HN: PlanWright – AIコーディングエージェント向けコントロールプレーン
PlanWright は AI コーディングエージェント向けのコントロールプレーンで、計画と承認のプロセスを逆転させ、人間のボトルネックを解消し、エージェントの速度と人間の判断を切り離し、改ざん不能な監査チェーンを生成します。
- 計画の逆転:議事録、メール、Slack などの非構造化入力から自動的に目標を抽出し、人間は意図を承認するだけ。
- 承認の逆転:機械的なチェックを自動分類し、判断が必要な項目のみを人間に回し、各承認は署名付き。
AGIコンパイラ「Auto」
AutoはLLMエージェントの動作を記録し、決定論的部分を証明して検証済みのWebAssemblyバイナリにコンパイルし、階層型ランタイムで新規性のある入力にはフロンティアモデルにフォールバックして再コンパイルするAGIコンパイラです。
- エージェントのトレースを記録し、決定論的(記号的)な振る舞いを抽出して検証済みの.cbinアーティファクトにコンパイル。
- 2層ランタイム:tier-1はコンパイル済み高速パス、tier-0はフロンティアモデルインタプリタ、ガードが新規入力を検出するとtier-0にフォールバックして再コンパイル。
AIエージェントが仮想プレイグラウンドを作成し、ロボットに重要な訓練データを提供
MITとトヨタ研究所の研究者は、「SceneSmith」システムを開発しました。これは3つのAIエージェントを使用して、キッチン、ホテル、リビングルームなどのリアルな3D屋内シーンを生成します。これらの仮想環境はロボットに豊富な訓練データを提供し、シミュレーションで日常的なタスクを練習することで、現実世界でのテスト時間とコストを削減します。
- SceneSmithは、視覚言語モデルに基づく3つのAIエージェント(デザイナー、批評家、オーケストレーター)を使用して3Dシーンを生成します。
- 生成されたシーンには、以前の方法よりも最大6倍多くのオブジェクトが含まれ、キャビネットの開閉やアイテムの配置などのインタラクションが可能です。
VideoAgentスタイルのマルチエージェントシステム構築:意図解析、グラフ計画、ビデオ編集タスクのツールルーティング
このチュートリアルでは、APIキー不要で実行可能なマルチエージェントビデオ編集システムを構築します。意図パーサー、エージェントライブラリ、ツールルーター、グラフプランナー、テキスト勾配最適化器を含み、FFmpeg、Whisperなどのツールと統合して、ビデオの理解、検索、編集、再作成を実現します。
- ビデオ編集タスク向けの実行可能なVideoAgentスタイルマルチエージェントシステムを構築。
- コアコンポーネントとして、意図解析、グラフ計画、ツールルーティング、テキスト勾配最適化を備える。
Show HN: Crucible – AIがテストを書いたなら、誰がテストをテストしたのか?
Crucible は、AIが生成したテストの欠陥を発見するための対抗的テスト強化ツールです。ミューテーションテストを使用して、AIが書いたテストが見逃すバグを特定します。無料のスコアコマンドでテストスイートを評価し、その後、テスターがテストを書き、mutmut が生存者を見つけ、クリティックが標的を絞ったテストを書く対抗ループを実行します。このツールは機械検証可能なレシートを生成し、Python/pytestプロジェクトで動作します。
- Crucible はミューテーションテストを使って、実際のバグをどれだけテストスイートが捕まえられるかを測定します。
- ツールは対抗ループを実行:テスターがテストを書き、ミューテーションが生存者を発見し、クリティックがそれらを殺します。
脳の働きが違うとき、AIは贅沢品ではなくアクセシビリティである
神経多様性を持つソリューションアーキテクトが、AIをアクセシビリティツールとして活用し、Amazon QuickとBedrockを基盤に構築した自動化ワークフローで実行機能のギャップを補う方法を共有。受信箱スキャン時間が45分以上から6~13分に短縮、フォローアップの漏れゼロ。
- 英国成人の15~20%が神経多様性を持つが、ほとんどのAI生産性ツールは神経典型的な脳を想定している。
- 著者はAuDHD(自閉症とADHDの併発)であり、メール仕分け、タスク優先順位付け、フォローアップを自動化するシステムを構築。
Amazon Bedrock を使用した Bluesight でのエージェント型 AI ソリューションの構築
本稿では、Bluesight が 2 回の AWS エンゲージメントと Amazon Bedrock AgentCore を利用して、単一製品の AI プロトタイプから、6 つのヘルスケアコンプライアンス製品をカバーする統合エージェント型 AI ソリューション Prism へと進化した経緯を説明します。Prism Assistant for ControlCheck は 2026 年 5 月にリリースされ、すでに 20 の医療システムで使用されています。より複雑なマルチプロダクトのエージェント型ソリューションは 2026 年後半にリリース予定です。
- Bluesight は Amazon Bedrock AgentCore を使用してプロダクショングレードのエージェント型 AI アーキテクチャを構築しました。
- Prism Assistant はシングルエージェントパターンにより ControlCheck のクエリ時間を 5 分から 10 秒に短縮しました。
Amazon Bedrock AgentCore Gateway を使用したマルチテナントエージェントのオン・ビハーフ・オブ・トークン交換の実装
この記事では、Amazon Bedrock AgentCore Gateway と Identity を使用して OAuth 2.0 トークン交換(RFC 8693)を実装し、マルチテナントエージェントにおけるダウンストリーム API 呼び出し時の ID 伝播と confused deputy 問題を解決する方法を詳しく説明します。参照実装 TravelBot を使用して、Okta 環境での完全な設定、JWT クレーム変換、およびオーディエンスバインディングによる多層防御の仕組みを示します。
- OAuth 2.0 Token Exchange(RFC 8693)はマルチテナントエージェントの ID 伝播と最小権限の問題を解決する
- Amazon Bedrock AgentCore Gateway と Identity はトークン交換をネイティブにサポートし、エージェント側の実装は不要
Show HN: Clay Seal Identity – エージェントの説明責任が必要
Clay Seal Identity は、AIエージェント向けの短期間で検証可能な資格情報を提供するオープンソースプロジェクトです。SPIFFEベースのJWTおよびX.509資格情報、Ed25519ワークロードキー、オフライン検証、Biscuit機能トークンをサポートします。Python SDKとオプションのFastAPI IDサービスを含み、エージェントの身元、委任、資格情報の有効性を確認する必要があるシナリオ向けに設計されています。これはClay Sealスタックのレイヤー1であり、ランタイム機能スコープと実行領収書を提供する後続のレイヤーはプライベートプレビュー段階です。
- 各エージェント実行に対して短期間で検証可能な資格情報を発行し、長期の人間またはサービスAPIキーの借用を回避します。
- SPIFFE JWT-SVIDおよびX.509-SVID資格情報をサポートし、Ed25519ワークロードキーによる送信者制約を提供します。
Amazon SageMaker AIで生成AI推論レコメンデーションのUIを公開
Amazon SageMaker AI Studioは、生成AI推論レコメンデーションのためのローコード/ノーコードUIを導入し、事前設定されたユースケースプロファイル、視覚的な比較、ワンクリックデプロイを通じて、深いインフラ知識がなくても検証済みの構成を取得できるようにします。
- 新しいUIは生成AIモデル展開の最適化を簡素化し、手動ベンチマークを不要にします。
- 事前設定ユースケースプロファイル(インタラクト、生成、要約)と最適化目標(レイテンシ最小化、スループット最大化、コスト最小化)を提供。
コンテナ化AI開発:DockerとVS CodeでAIチャットを制御
GitHubテンプレートリポジトリtake-ai-controlは、DockerとVS Codeを用いて隔離されたAI開発環境を提供し、PI.dev、Claude Code、Copilotをサポート。LinuxとmacOSでクロスプラットフォーム対応し、トークン消費削減のスキルやテンプレートプロジェクトを同梱。
- DockerコンテナとVS Code DevContainerによりAIチャット環境を強力に隔離し、セキュリティを向上
- PI.dev、Claude Code、GitHub Copilotに対応し、セッションと設定をvarディレクトリに永続化
SymCryptにおけるRust暗号の検証:標準からコードへ
MicrosoftのSymCryptチームは、Lean証明アシスタントとAeneasツールチェーンを使用してRustで書かれた暗号コードを形式的に検証し、標準から導出された形式仕様に対する機能的正確性を達成する新しい方法論を発表しました。このアプローチはML-KEMやSHA-3などの耐量子暗号アルゴリズムに適用され、検証済みコードはすでにWindows Insiderビルドに出荷されています。AIエージェントが証明作成を自動化し、標準の形式化に対する人間の監視を維持することで、進化するコードベースに追従できるようになっています。また、パフォーマンスを犠牲にすることなく、ハードウェア固有の組み込み関数やクロスプラットフォームのディスパッチをサポートします。
- マイクロソフトはLeanとAeneasを使用してSymCryptのRust暗号を検証し、標準からコードへの機能的正確性を達成。
- ML-KEMとSHA-3の検証済み実装はすでにWindows Insiderビルドに含まれている。
Jacquard:AIが書き、人間がレビューするコードのためのプログラミング言語
Jacquardは、AIが書き人間がレビューするコードのための研究プロトタイプ言語です。言語組み込みのエフェクト追跡、確率的プログラミング、コンテンツアドレス識別により、人間のレビューアはすべての行を読むことなくプログラムの影響範囲と確実性を理解できます。
- 代数的エフェクトと明示的な権限付与により、副作用を追跡・制御可能。
- 有限離散モデルに対する正確な推論が可能な確率的プログラミングをサポート。
ターミナルでHTML、CSS、JavaScriptを実行
このプロジェクトは、ウェブ技術を用いてターミナルアプリやBBSスタイルの共有ボードを作成し、SSH経由でアクセスするパターンを実証し、初期のインターネットの雰囲気を再現しています。開発者は8年かけてブラウザレンダリングエンジンを構築し、その後AIの支援を受けてターミナルレンダラーを開発。セルフホスティングが可能です。
- ターミナルアプリをHTML/CSS/JavaScriptで構築し、SSH経由でアクセス。モダンなウェブ技術とレトロなBBSスタイルを融合。
- 開発者が独自にブラウザエンジン(8年)を開発し、ターミナルレンダラーは設計を担当、コードはほぼAIが作成。
技術面接におけるAI軍拡競争がエスカレート
ソフトウェアエンジニアリングの仕事はAIの脅威にさらされている。応募者の中には、リモート技術面接中にリアルタイムで回答を提案するAIアシスタントを利用して反撃する者もいる。一方、雇用主は面接中のAI使用の兆候を検出するためのAI搭載ツールで対抗している。この双方向の力学は、採用を明確な勝者のいないAI軍拡競争に変えている。しかし、面接官と応募者がこの困難な現実を乗り越える中、専門家は求職における人間的側面が優勢になると考えている。
- 応募者はFinal Round AIやInterview CoderなどのAI面接アシスタントを利用し、リモート技術面接でリアルタイムに回答を得る。
- 雇用主はGingerなどのAI検出ツールを導入し、眼球運動、応答遅延、タブ切り替え、発話パターンを追跡する。
請求ショックで経営陣はAIを再考中
今週のThe RegisterのKettleポッドキャストでは、Tokenminningが業界を現実に引き戻すのかどうかを考察します。企業リーダーたちはAIコストの急上昇に驚いています。
- KPMG調査:29%の上級経営陣がAI運用コストを理解できず、約半数がコストが期待値を超えた場合に展開を再調整。
- AnthropicやOpenAIがトークン単位の課金に移行し、請求額が急増。
Show HN: Crowdmind – AIペルソナでアイデアをテストするオープンソースツール
Crowdmindは、ローカルファーストのデスクトップアプリで、高速な定性調査を可能にします。AI生成の合成ペルソナパネルを作成し、製品、メッセージ、価格、ランディングページ、画像、PDF、マルチステップファネルなどをテストし、スコア、反対意見、肯定的シグナル、繰り返しテーマなどの構造化フィードバックを得られます。複数のLLMプロバイダー(ローカルオフラインモデルを含む)をサポート。データはローカルのSQLiteデータベースに保持されます。創業者、プロダクトマーケター、研究者、プロダクトチームに最適です。
- 手動、CSVインポート、マーケットプレイステンプレート、またはAI生成でペルソナパネルを作成。
- テキスト、画像、PDF、マルチステップファネルで刺激テストを実行し、スコア、反対意見、テーマ分析を取得。
Outlinesによる構造化言語モデル生成
Outlinesはオープンソースライブラリで、LLMの出力生成プロセスに決定論的な確実性をもたらし、JSONなどの構造化出力をより信頼性高く生成します。推論時に不正なトークンをマスクすることで、出力が事前定義された形式に厳密に従うことを保証します。本記事では、Pythonを用いた3つの実用的なユースケースを紹介します。
- Outlinesは推論時に不正なトークンをマスクし、出力構造を強制する。
- 多肢選択分類、JSONオブジェクト生成、REST API向け純粋なJSON生成をサポート。
動画類似度の測定方法:私がテストした6つの手法(そして採用したもの)
この記事では、6つの動画類似度測定手法(GPT Vision、Gemini Flash、CLIP、知覚ハッシュ、CVマルチメトリック、Gemini Embedding 2)を、滝のクリップをベンチマークとして比較しています。精度が速度よりも優先されます。Gemini Embedding 2は動画全体を処理し、精度と速度の最良のバランスを提供し、フレームサンプリング手法を上回りました。
- 6つの動画類似度手法を、難しい滝のクリップでテスト。
- 精度を主要指標とし、速度はタイブレーカーのみに使用。
SociaLLMエンジニアリング:AIエージェントの操作とその対策について
「SociaLLMエンジニアリング」と呼ばれる新たなソーシャルエンジニアリング攻撃が、大規模言語モデルを搭載したAIエージェントを標的にしている。これらの攻撃は、LLMの暗黙の社会的理解と信頼境界の欠如を悪用し、機密情報の漏洩や不正な操作を引き起こす。実際の事例には、Instagramアカウント乗っ取り、GitHubワークフローのデータ漏洩、AIブラウザへの「バイオショック」攻撃などがある。この記事では、LLMがなぜ特に脆弱であるか——ユーザーを喜ばせる設計、単一チャネル処理、記憶の欠如——を検証し、人間による監視や堅牢なガードレールなどの緩和策を提案する。
- SociaLLMエンジニアリングは、なりすましや口実などのソーシャルエンジニアリング手法を用いてLLMエージェントを操作する。
- 著名な事例として、2026年の大規模Instagramアカウント乗っ取り、GitHubのGitlostプロンプトインジェクション、AIブラウザへのバイオショック攻撃がある。
Cairn:50ドルの予算、メールアドレス、憲法を持つAIエージェント
CairnはOmri Pitaruが運営する自己編集型AIエージェントで、GitHub上で自身のアイデンティティ、記憶、目標、文章を公開編集しています。固定予算で動作し、メールで人間とやり取りします。
- CairnはGitHubリポジトリを公開編集し、思考や変化を記録します。
- 毎月の固定予算を持ち、それに基づいてメールへの返信を決定します。
Precursorの紹介:継続的なクライアント側シグナルによるエージェント動作の検出
CloudflareはPrecursorを発表しました。これは、クライアント側のセッションベースの行動検証システムで、ユーザーのインタラクションシグナルを継続的に収集し、人間とボットを区別します。正当なユーザーの摩擦を減らし、高度な自動化の検出精度を向上させます。
- Precursorは動的に注入されるJavaScriptを介して、マウスの動きやキーボードのリズムなどの行動シグナルを継続的に収集します。
- 検出を単発のチャレンジからユーザーセッション全体に拡張します。
ChatGPTデスクトップが大好きだったのに、OpenAIがCodexとWorkのために台無しにした
OpenAIはChatGPTデスクトップアプリをCodexと統合し、スクリーンショットや「Work with」などの便利機能を削除しました。新インターフェースはCodex中心で、ChatGPTモードは小さなポップアップに縮小。著者はブラウザ版が最適と結論づけています。
- OpenAIはデスクトップアプリにCodexとChatGPT Workを統合したが、スクリーンショットや「Work with」機能を削除した。
- 新しいデスクトップアプリは実質的にCodexであり、ChatGPTモードは小さなポップアップに縮小された。
Vairfid – AIエージェントのアイデンティティと説明責任レイヤー
VairfidはAIエージェントに登録、検証、信頼スコアを提供し、企業間の安全な連携を実現します。
- AIエージェントに永続的なIDと公開プロファイルを付与
- AI Doctorが行動を暗号指紋認証し信頼スコアを発行
Loam – アーリーステージの創業者のためのAI採用ツール
Loamは、最初の10人の採用を行うアーリーステージの創業者向けに設計されたAI搭載の応募者追跡システム(ATS)です。応募者追跡、AIによる候補者レビュー、ソーシング、チャット、MCP統合、ブランド化された採用サイトをひとつのプラットフォームに統合し、無料から始められるシンプルな月額料金を提供します。スプレッドシートの混乱やエンタープライズATSの高コストに悩む創業者に最適です。
- アーリーステージのスタートアップ向けAIネイティブATSで、スプレッドシートやエンタープライズシステムを代替
- 機能:応募者追跡、AIシグナル、ソーシング、MCP統合、ブランド採用サイト
AIエージェントクローラーに許可が必要に:取得方法
Cloudflareは9月15日から広告付きページへのAIエージェントクローラーをデフォルトでブロックし、クローラーを「検索」「エージェント」「トレーニング」の3カテゴリに分類。AI企業はアクセス再交渉を迫られ、従量課金モデルが生まれている。
- CloudflareはAIクローラーを「検索」「エージェント」「トレーニング」に分類し、広告ページではデフォルトでエージェントとトレーニングをブロック。
- 9月15日以降、新規Cloudflareドメインと既存の無料ユーザーに新デフォルトが適用。
DiscoMCP – 未知のMCPをAIエージェント向けの再利用可能な操作スキルに変換
DiscoMCPはオープンソースツールで、ユーザーの実際の使用パターンを分析し、任意のMCPサーバーをAIエージェント向けのカスタマイズされたスキルに変換します。読み取り専用を保証し、ワンコマンドで起動でき、複雑なサーバーとのやり取りにおけるラウンドトリップを大幅に削減します。
- DiscoMCPはユーザーのワークフローを分析してカスタムスキルを生成し、全ツールのリストは提供しない。
- デフォルトで読み取り専用を強制し、書き込みや変更操作を拒否して本番環境を保護。
AI支援開発におけるフロントエンド検証のギャップ
AIツールは見た目に整ったフロントエンドコードを迅速に生成できますが、アクセシビリティ、キーボード操作、フォーカス管理、エラーハンドリングなどの重要な側面を見逃すことがよくあります。この記事では、明確なエンジニアリング期待、デザインシステム、行動重視のテストを含む、より強力な検証手法の必要性を強調しています。
- AIが生成したフロントエンドコードは見た目が完成していても、アクセシビリティやインタラクションの検証が不十分な場合がある。
- 開発チームは永続的な指示とタスク固有のプロンプトを使用して明確な期待を設定すべき。
Show HN: Web経由でAIエージェントを制御する
Diff Forge AI は、ローカル優先のエージェンティック開発環境(ADE)であり、Codex、Claude Code、OpenCode などのコーディングエージェントを並列実行し、音声制御、スクリーンショット、Webダッシュボードによるリモート表示をサポートします。マルチターミナルワークスペース、スケジュール自動化のためのループスペース、クラウド同期、デバイス管理を提供し、料金は無料から月額2,000ドルです。
- Diff Forge AI はローカル優先のADEで、複数のAIコーディングエージェントを並列実行可能。
- 音声制御、スクリーンスニペット、ループスペース自動化、Web/電話によるリモート操作を搭載。
Plumrocket AI Connector 拡張機能
AI Connector は、Magento 2 の拡張機能で、ストアフロントと主要な大規模言語モデル(Claude、ChatGPT、Gemini など)を統合する単一のREST APIとPHP統合層を提供します。
- 単一のインターフェースでClaude、ChatGPT、Geminiなどの複数AIプロバイダに接続
- OpenRouter対応により60以上のプロバイダと400以上のモデルにアクセス
スタンフォード大学研究者がTRACEを発表: エージェントの繰り返し失敗を合成RL環境に変える能力指向型トレーニングシステム
スタンフォード大学の研究チームは、エージェントの失敗軌跡から不足能力を診断し、各能力に対して検証可能な合成環境を生成し、GRPOでLoRAアダプタを訓練し、トークンレベルのMoEルーティングで構成するTRACEシステムを提案。τ²-Benchで+15.3ポイント、SWE-bench Verifiedで73.2%のPass@1を達成。
- 成功と失敗の軌跡を対比分析し、欠落能力を特定。
- 各能力に独立した検証可能な合成環境を生成。
Muse Spark 1.1:Metaが3か月でインテリジェンス指数を8ポイント向上
MetaのMuse Spark 1.1は、Artificial Analysis Intelligence Indexで51点を獲得し、3か月前の1.0版から8点上昇しました。科学推論、コーディング、知識分野での進歩が顕著で、エージェント型知識作業も大幅に改善されましたが、最先端モデルにはまだ及びません。トークン効率が高く、実行コストも低いモデルです。
- Muse Spark 1.1のインテリジェンス指数スコアは51で、GLM-5.2、GPT-5.4などと同等、Grok 4.5やClaude Fable 5に次ぐ。
- コーディングとエージェント型知識作業での改善が最大で、SciCodeで第3位、GDPval-AA v2のEloが232上昇。
ToDoリストからAIエージェントへ
従来のToDoリストをスマートなAIエージェントに進化させ、タスク管理の自動化と効率向上を実現する方法を探る。
- 従来のToDoリストは複雑なタスク管理に不十分
- AIエージェントは自律的にタスクを実行・最適化
Prime Intellect、Verifiers v1をリリース:エージェントRLトレーニングと評価のための構成可能なタスクセット、ハーネス、ランタイム
Prime Intellect は verifiers 0.2.0 をリリースし、書き直された v1 コアをプレビューしました。v1 は環境をタスクセット(何を)、ハーネス(どのように)、ランタイム(どこで)に分割し、リクエストをプロキシしてトレーニング用のトレースを記録するインターセプションサーバーを導入します。任意のタスクセットは互換性のある任意のハーネスの下で実行でき、prime-rl トレーニングを完全にサポートします。
- v1 は環境をタスクセット、ハーネス、ランタイムの3つに分割します。
- インターセプションサーバーがハーネスと推論サーバー間のリクエストをプロキシし、トレースを記録します。
AI後のダニング=クルーガー効果:もはや閉じないギャップ
本稿では、AI時代においてダニング=クルーガー効果(能力の自己評価と実際の差)がどのように拡大するかを考察する。著者は、AIが自信を高め、実際の能力を「ツールあり」と「ツールなし」に分断し、経験による自己修正を妨げると仮説を立てる。企業にとって、内在的スキルは生産性の問題からガバナンスの問題へと移行し、静かに浸食されていく。
- AIは失敗を隠蔽することで過信を促進し、認知と実力のギャップが閉じなくなる。
- 実際の能力は「支援能力」と「内在能力」に分裂。内在能力はツールなしの時に発揮され、世代を経るごとに弱まる。
AI時代の勝者:メモリ産業の構造的優位性
自律型AIエージェントと自動化プラットフォームの急速な台頭により、メモリ帯域幅が重要なパフォーマンスドライバーとなっています。Appleの統合メモリアーキテクチャ、CUDIMM規格、そして新しいPCアップグレードサイクルが市場を再形成する一方、SamsungやSK hynixなどのメモリメーカーはHBM容量配分と限られた供給により構造的に利益を得ています。
- ローカルAI推論には約1TB/sのメモリ帯域幅が必要で、従来のPCアーキテクチャでは不十分。
- CUDIMMはクロックドライバを統合し、高周波数での信号整合性を維持する実用的な次世代規格。
BeyondSight:エンドツーエンド自動運転のためのオブジェクト永続性
BeyondSightは、アクターの存在と観測可能性を切り離し、永続的なアクター仮説を維持することで、部分観測環境下でも遮蔽されたアクターを推論可能にするエンドツーエンド運転フレームワークです。実験では、観測不可能なアクターの検出mAPが0から0.249に向上し、計画誤差L2avgが0.61から0.54に低減しました。
- BeyondSightは、エンドツーエンド自動運転にオブジェクト永続性を導入し、遮蔽されたアクターを扱います。
- 時間的伝播と観測条件付き更新により、永続的なアクター仮説を維持します。
AIベースの血管内ナビゲーションのための血管形状特性評価
この研究は、ナビゲーションの難易度に関連する血管指標を特定し、将来の複雑性評価を可能にする定量的血管特徴抽出のための自動パイプラインを開発することを目的としています。61名の患者のCT血管造影から血管樹を分割し、大動脈弓タイプ、牛弓の存在、血管長、屈曲度、起始角、逆曲線数などを測定。Soft Actor-Critic強化学習アルゴリズムを用いて120秒間の自律ナビゲーションを実施しました。左側では牛弓とII/III型大動脈弓がナビゲーション時間をそれぞれ30.19秒と37.92秒延長し、屈曲度が高いほど手技時間が延び成功率が低下。右側ではII/III型弓が45.94秒延長し、逆曲線が1つ増えるごとに3.96秒延長し成功率が低下しました。この自動パイプラインは、標準化された複雑性評価と強化学習モデル評価の基盤を提供します。
- 機械的血栓除去エージェントのナビゲーション難易度が血管形状に強く影響されることを初めて実証。
- 血管特徴の定量的特性評価のための自動パイプラインを開発。
Dec-MARVEL: 予算制約下での通信不要な分散型マルチエージェント探索
本論文では、通信がなく方向性センシングのみを持つマルチUAVチームのための分散型予算対応探索フレームワークDec-MARVELを提案する。各ロボットは視野内のチームメイトの軌跡を観測することで協調し、グラフアテンションネットワークを用いて帰還可能なウェイポイントを選択する。実験では、様々なチーム規模と予算で最高の探索率と最低のセンシング重複を達成し、実機実験でもシミュレーションから実世界への転送に成功した。
- チームメイトの軌跡の偶発的観測による協調
- グラフアテンションアクターが局所フロンティア形状、チームメイトの動き、予算特徴を統合
SplatCtrl:ガウスシーン表現とリアクティブロボット制御による知覚-行動連携
SplatCtrlは、3Dガウススプラッティングを用いたリアルタイムシーン再構築とリアクティブなロボット動作生成を統合するフレームワークであり、未経験で動的な環境におけるロボットアームの衝突回避制御を実現する。ハイブリッドボクセルフィルタリングと動的ガウス再配置戦略により環境変化に対応し、等方性ガウス分布から連続符号付き距離関数を導出して制御障壁関数に組み込む。シミュレーション、実機ロボット、人協調領域での実験により有効性を確認した。
- SplatCtrlは3Dガウススプラッティングとリアクティブ制御を統合し、衝突回避を実現。
- ハイブリッドボクセルフィルタリングと動的ガウス再配置による効率的なシーン再構築。
AgenticFocus: 人間の一人称視点映像からの物体保存型複合現実合成による器用なヒューマノイド学習
AgenticFocusは、通常の一人称視点人間ビデオをロボット訓練可能なデモンストレーションに変換する複合現実合成パイプラインであり、遮蔽された物体形状の復元、全手動作の再構築、ヒューマノイドへのリターゲティングを行います。軌道誤差と手首の滑らかさにおいてベースラインを上回ります。
- AgenticFocusは複合現実を用いて通常の一人称視点ビデオをロボット訓練データに変換します。
- 手と物体の遮蔽を処理し、特殊なハードウェアなしで全手動作を再構築します。
MultiView-Bench:VLMのワールド中心マルチビュー統合のための診断ベンチマーク
MultiView-Benchは、視覚言語モデル(VLM)が複数の視点からの観測を統合し、一貫したワールド中心の3Dメンタルモデルを構築する能力を評価するために設計された診断ベンチマークです。現在の最先端VLMは単一視点の2Dタスクでは優れていますが、3D空間関係の理解と視点間の情報統合に苦戦しています。著者らは、情報量の多い視点を積極的に選択し、マルチビュー証拠を融合するマルチエージェントフレームワークViewNavigatorを提案し、ベンチマークで3〜5倍の性能向上を達成しました。
- 既存のVLMベンチマークは主に単一または限定視点の知覚を評価し、マルチビュー統合を無視している。
- MultiView-Benchは、物体の位置を一時的な視点から切り離し、グローバル座標系に基づかせることを要求する。
AgentKGV: 知識グラフの事実検証のためのエージェンティックLLM-RAGフレームワークと二段階訓練
知識グラフ(KG)は自動構築時に事実誤差を含むことが多く、AgentKGVは動的ルーティングと反復クエリ書き換えを統合したエージェンティックLLM-RAGフレームワークを提案し、蒸留ベースのSFTと軌跡レベルGRPOによる二段階訓練で精度とコスト効率を向上。T-RExベンチマークで単一ターンRAGよりマクロF1が14.9ポイント向上、検索呼び出し数は半減。
- 動的ルーティングと反復クエリ書き換えを統合したAgentKGVフレームワークを提案。
- 二段階訓練戦略:蒸留SFTで大規模教師モデルから小規模モデルに推論能力を転移、GRPOで検索ポリシーを最適化。
KV-PRM: KVキャッシュ転送によるマルチエージェントテスト時スケーリングのための効率的なプロセス報酬モデリング
KV-PRMは、LLM生成時に自然に生成されるKVキャッシュを直接利用することでテキストの再エンコードを排除し、スコアリングコストをO(L²)からO(L)に削減する効率的なプロセス報酬モデルです。実験では、テキストベースPRMと同等以上の性能を示しながら、FLOPsを最大5000倍、レイテンシを37倍、メモリ使用量を34倍削減しました。
- 従来のテキストベースPRMは軌跡全体を再エンコードする必要があり、コストがO(L²)となる。
- KV-PRMはKVキャッシュを用いて単一の検証トークンを処理するだけでO(L)のコストを実現。
L-MAD: 法的推論におけるマルチエージェント討論構造の体系的な評価
L-MADフレームワークは、法的テキスト含意タスクにおけるマルチエージェント討論の異なる構造と集約方法を体系的に評価する。エージェントに専門家のペルソナを割り当てることで、強力な単一エージェントベースラインと比較して最大8%の改善を達成した。エージェント数を増やすと不整合性が低減し精度が向上するが、討論ラウンドを延長するとエージェントが互いの誤りを強化する「過剰審議ドリフト」が生じる。この発見は、ハイステークスな法的推論環境における協調的マルチエージェントシステムの展開に実用的な限界と安全マージンを提供する。
- 法的推論におけるマルチエージェント討論のためのL-MADフレームワークを提案。
- 専門家ペルソナにより単一エージェント比最大8%向上。
ニューロ・エージェンティック制御:セキュリティ制御のためのDeep LearningベースのLLM搭載エージェンティックAIフレームワーク
本論文では、LLMプランナーと時系列基礎モデル(TimesFM)を組み合わせ、反事実物理注入機構により物理的基盤を持つ自律防御を実現するニューロ・エージェンティック制御フレームワークを提案。SWaTデータセットでLSTMやTCNを上回り、幻覚動作はゼロ。
- LLMプランナーとTimesFMを組み合わせたニューロ・エージェンティック制御フレームワークを提案。
- 反事実物理注入機構を導入し、動作実行前に介入の影響をシミュレートし不安全な動作を拒否。