エージェント開発における適切な仕様の度合い
本稿は、エージェント開発におけるゼロ仕様と過剰仕様の両方に反対し、実行可能なチェックを伴うバランスの取れたアプローチを提唱する。ボトルネックは正しさの定義に移行しており、適切な仕様の量はタスクの種類(探索的、境界あり、決定的、マルチエージェント)に依存すると強調する。
- ゼロ仕様は修正ループのコストを隠す。適度な仕様と実行可能なテストが総コストを削減する。
- 実装を拡大する前に仕様の検証が重要。
トピック別ストリーム
AI 政策は学習、製品公開、データ利用、国境を越えた展開の境界を変えます。ここでは規制、著作権、安全標準、輸出管理、政府調達、業界ルールを追跡し、コンプライアンスと市場参入リスクを早めに把握します。
本稿は、エージェント開発におけるゼロ仕様と過剰仕様の両方に反対し、実行可能なチェックを伴うバランスの取れたアプローチを提唱する。ボトルネックは正しさの定義に移行しており、適切な仕様の量はタスクの種類(探索的、境界あり、決定的、マルチエージェント)に依存すると強調する。
本記事は、ソフトウェアエンジニアリングにおけるAIに関する5つの最近の研究をまとめたもので、AIが上流の作業を圧縮する一方で、下流のボトルネックを生み出していることを明らかにしています。主な発見:GitHub Copilotは用量反応効果によりPRスループットを約40%向上させる;AIによるコーディングの生産性向上(最大+180%)はデリバリープロセスを通じて大幅に減衰し、最終的なリリース数は+30%にとどまる;生産性と開発者体験は時間とともに乖離する;開発者はコード生成ではなく検証タスクに対するAIを望んでいる;そして、技術的負債に加えて、認知的負債と意図的負債が重要なソフトウェア健全性の問題として浮上している。
JetBrains Researchは、AIと拡張現実(XR)の組み合わせがどのようにテッククリエイターに新しいインタラクションパラダイムをもたらすかを調査しました。専門家インタビューを通じて、5つのテーマを特定:AI-XRシステムへの意図伝達、環境を適応させるAI、主流採用の障壁、制作ワークフローの変化、プライバシーと倫理的リスク。研究は、XRハードウェアとAIの融合が技術制作に革命をもたらす可能性があるが、技術的・認知的・組織的制約が残ると示唆しています。
このデータセットは、EU AI法(規則(EU) 2024/1689)の単一ファイルで事前埋め込みされたSQLiteコーパスを提供します。法的構造に基づいてチャンク化され、BGE-M3密埋め込み、メタデータ、リスクレベルラベルなどを含み、ローカルクエリとRAG研究のために設計されています。
このNMCデビューアルバムは、アインシュタインの場の方程式やニュートンの万有引力、人工知能などをテーマにしたレイドロウの野心的なオーケストラ作品を収録。
欧州連合(EU)はグーグルに対し、検索データの共有とAndroidオペレーティングシステムを競合AI企業に開放するよう求める新たな規制を発表した。これはテクノロジー大手の支配力を抑制し、イノベーションを促進するための措置だが、グーグルはユーザーのプライバシーやセキュリティを損なう恐れがあると警告している。
本論文では、事前学習済み視覚-言語-行動(VLA)ポリシーに接触反応性を追加する力認識型後トレーニングフレームワークLIFTを提案する。反応的な行動エキスパートの移植、因果力記憶とクロスアテンションによる6Dエンドエフェクタ力の注入、オンラインDAggerループとの組み合わせにより、タオル折り、本の挿入、ハノイのリング配置において、視覚のみの後トレーニングを上回る性能を示した。
本研究は、音楽や音声の入力に基づいてリアルタイムに運動スキルを自律選択できる、セマンティックオーディオ駆動型人型ロボット制御のためのマルチモーダルオーケストレーションフレームワークを提案する。Unitree G1人型ロボットで検証され、ロバストなシミュレーションから実機への転送が示された。
研究者らは、不確かな関節剛性を持つフレキシブル関節ロボットのための適応制御手法を提案する。このアプローチは、暗黙的な制御則と制御入力依存の回帰行列を用いて非線形トルク-たわみ関係の推定を更新し、モータ位置制御器の誤差に対するロバスト性を解析する。非線形剛性を持つフレキシブル関節での実験により有効性が確認された。
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評価では、両モデルで論理的整合性と説明品質の一貫した改善が確認されました。
本論文では、テキストからビデオ(T2V)モデルにおける概念レベルのアンラーニングのための、学習不要な推論時フレームワークSIRUSを提案する。SIRUSは、ターゲット概念に関連するプロンプト証拠を特定し、サンプリング中にその表現を抑制する。テキストエンコーダやノイズ除去ネットワークの更新は不要である。また、ターゲット忘却、非ターゲット保持、映像品質、脱獄ロバスト性、効率を個別に測定するビデオ中心評価フレームワークを導入。CogVideoXにおいて、SIRUSは平均忘却成功率70.4%、フレームヒット率25.7%を達成し、VideoEraserの44.4%/47.2%を上回り、VBench品質低下を平均-0.043から-0.016に低減した。Wan2.2への転移実験により、SIRUSが現代のT2Vバックボーンに一般化することが示唆される。
JKPフレームワークは、繰り返しの挑戦的な質問に対するVLMの安定性を評価する。GPT-4o、Gemini 2.5 Pro、Qwen3-VL-30Bの評価では、大幅な不安定性と回答の反転が見られ、モデルごとに異なる圧力応答プロファイルが明らかになった。
本研究は、大規模言語モデルや強化学習などの閉ループ知識システムが内部フィードバックの繰り返しにより飽和する理由を分析し、構造的介入による脱出を可能にする3層の操作的枠組みを提案する。リアプノフ・ドリフト条件を用いて安定性を特徴づけ、脱出はアトラクタ変位とKL下限で定量化される。ケーススタディとして、LLMコード修正、スパース報酬強化学習、ベイズ最適化が含まれる。
本論文では、推論されたドメイン事後分布からクエリ時ラベルなしで、可能な場合にドメイン別汚染予算を認証し、不可能な場合は棄権するC3Rを提案する。最困難ドメインでの汚染削減を保証し、再サンプリングを通じて安定性を示し、較正カスケードよりも高い再現率を維持する。
LLM-T1Dという新しいアプローチは、強化学習と大規模言語モデルを組み合わせて、1型糖尿病のための解釈可能なインスリンポンプコントローラを作成し、目標血糖範囲内の時間73.5%を達成し、明確な説明を提供します。
新しい論文は、捜索救助任務を実行する自律UAV群のための三階層階層学習アーキテクチャを提案し、ヘッブ神経可塑性、グラフニューラルネットワークとビヘイビアツリーを用いたマルチエージェント強化学習、BDI推論とデジタルツインを用いたメタ学習を統合する。フレームワークは形式的保証を提供し、群メタ認知を導入する。
AIのコード生成速度が人間のレビューを上回り、深刻な信頼危機が生じている。単体テストやプロンプトエンジニアリングだけでは不十分。本稿では「セマンティックコントラクト」を提案する。これは型安全でコンパイル時に検証可能な設計図であり、要件とコードの間に位置し、実装が誰(または何)によって書かれたかに関わらず正確性を保証する。ソートアルゴリズムとECサイトのチェックアウト例を用いて、コントラクトの構成要素、状態処理、既存システムへの統合方法を示す。
企業がAIを大規模に展開する中、パフォーマンスとROIの最大の障害は、データを処理するハードウェアではなく、データを移動させるインフラにある可能性がある。本記事は、GPUがアイドル状態になる原因は、多くの場合、ストレージからコンピュートへの非効率なデータパイプラインによる「データ飢餓」であると主張する。アプリケーション配信コントローラを用いた疎結合アーキテクチャによるデータフローの最適化を提唱し、到達可能性、ポリシー、配信という3つのレジリエンスの次元を強調する。
Gradle Technologies は Develocity に社名変更し、AI 主導のソフトウェアデリバリーに特化します。同社は、AI がボトルネックを開発者からパイプラインに移したと指摘し、新たなガバナンスと効率性の必要性を強調しています。
Preempt AI v2は、AIアプリケーション向けのセキュリティ標準であり、MLを活用してプロンプトインジェクション、脱獄、データ漏洩を防御します。複数言語対応、レイテンシ10ms未満、精度99.65%。
Metaが新たなAIツール「Muse Image」を発表したが、他人のアカウントをタグ付けしてその公開写真からAI画像を生成できる機能が批判を浴び、数日後に無効化された。ユーザーは手動で許可をオフにしない限り、写真がAI生成に使用される可能性がある。
VulnHunter は、オープンソースのエージェント型AIセキュリティツールで、攻撃者優先の能動的分析をソースコードに直接適用します。悪用可能な脆弱性を特定し、誤検知を減らし、証拠に基づいた修正を提案します。
マイクロソフトのFoundryプラットフォームは現在、8万以上の企業がAIエージェントを構築するために利用されています。製品担当バイスプレジデントのMarco Casalaina氏へのインタビューでは、プロトタイプと本番環境のエージェントの違い、エージェントハーネスの重要性、そして信頼性の高いエージェントを実現するためのコンテキストレイヤーの構築方法について説明しています。
AstrioがForall(∀)を公開。仕様からコードと機械検証可能な証明書を自動生成するコーディングエージェント。CLIフルエージェントとMCP検証専用の2種類の利用方法を提供し、TypeScript、Java、Rustに対応。Apache-2.0ライセンス。
米国著作権局は、AIが生成したコンテンツには著作権が認められないと裁定。ある著者が、AIが執筆した初期の草稿を保存していなかったため、人間による創作部分を証明できず、著作権申請が却下された事例が浮き彫りに。
Rootly AIラボは、オープンソースのリアルタイムゲーム環境ベンチマーク「Doom Agent Arena」を開発。AIエージェントがMCPを介してDoomプレイヤーを制御し、インシデント対応に必要な推論、適応、意思決定能力を評価する。調査の結果、長い思考時間が必ずしも良い結果につながらないこと、エージェントが独自の「ランブック」を作成して効率化できること、迅速な判断が勝利に直結しなくても累積的に時間を節約できることなどが判明し、AI支援インシデント対応システムの設計に示唆を与えている。
本記事は19世紀のラッダイト運動の歴史的実態を掘り下げ、その戦略、成功と失敗を分析し、なぜ現代の反AI運動が単純にラッダイト主義を模倣できないかを論じる。著者は、ラッダイト運動の特定の歴史的背景、地方性、具体的な要求が現在のAIへの懸念とは根本的に異なると指摘する。
新しい研究で、訓練不要の領域認識型KVキャッシュ削除ポリシーMemDecayが提案されました。セマンティック領域ごとに異なる優先度と減衰率を割り当て、固定キャッシュ予算下で重要な情報を保持します。実験では、システムトークンの半減期がスクラッチパッドトークンよりはるかに長く、ピンニングにより全設定で完全な精度を達成しました。
OpenAIのGPT-Redは人間とAIの協力によるレッドチーミングでモデルの安全性を評価する新手法だが、企業は自社のワークフローとの整合性を確認する必要がある。
この記事は、中国の研究所による米国最先端モデルの大規模蒸留を窃盗と見なす見解に異議を唱え、現在の知的財産法はその主張を支持しないと論じる。フロンティアモデルへのアクセス保護に焦点を当てた政策を推奨し、知的財産保護の拡大には反対する。
Dotmatics LumaとDatabricksの統合により、機器データのサイロを解消し、連続的でFAIR準拠のデータパイプラインを構築することで、信頼性の高いAI駆動の研究を実現します。
xAI の Grok 4.3 が Amazon Bedrock で一般利用可能になりました。構成可能な推論努力、強力なツール使用と指示追従、100万トークンのコンテキストウィンドウを備え、エージェントやエンタープライズワークロードに適しています。この記事では、その特徴、アクセス方法、基本的な使い方を紹介します。
OpenAIは、自己対戦強化学習を用いて防御LLM集団に対して訓練された社内専用の攻撃モデルGPT-Redを開発しました。再現された間接プロンプトインジェクション環境で、GPT-Redは人間のレッドチームの13%に対して84%の成功率を達成し、新たな「偽の思考連鎖」攻撃クラスを発見し、OpenAIの最も難しい直接インジェクションベンチマークでGPT-5.6 Solの失敗率を6倍削減しました。ただし、マルチターンや画像ベースの攻撃では依然として課題があると認めています。
BISは、BDCがソフトウェア企業に約1150億ドルを融資しており、これは融資総額の5分の1、成長著しいテクノロジーポートフォリオの80%以上を占めると報告。生成AIによる収益不確実性はまだ影響を与えていないが、最近のクレジットスプレッド縮小が損失吸収力を低下させている。
Linus TorvaldsはLinuxカーネルメーリングリストで、AI支援ツールを明確に支持し、AI生成コードを禁止する立場に反対した。彼はAIを「有用なツール」と位置づけ、Linuxは反AIプロジェクトではないと強調した。この発言は、パッチのバグの53.6%を発見するが誤検出率が20%未満の多段階コードレビューツールSashikoに関する議論に端を発する。TorvaldsはAIツールの急速な進化を指摘し、批判者に対して「自然知能も常に優れているわけではない」と皮肉った。
ユーザーはテクノロジー企業がAI機能をデフォルトで有効にすることに不満を感じている。InstagramはAIチャットボットをデフォルトで有効にしたことで反発を受け、3日後に撤回した。プライバシー専門家は、プライバシー保護をデフォルトとする設定と連邦規制の必要性を訴えている。
AIアシスタントは作業の表面層に急速に広がっているが、実際のビジネス上の意思決定で結果を変えることはほとんどない。問題はコンテキストが分散していることと汎用AIの限界にある。DatabricksのGenie OneとGenie Ontologyは、統一コンテキストレイヤーを提供し、AIコワーカーが共有のビジネスマップ上で自動的にガバナンスを継承できるようにすることでこの問題に対処する。
ニューヨーク州のキャシー・ホークル知事は、新たなAIデータセンターのモラトリアムに署名したが、自身はAIを積極的に活用している。BloombergのOdd Lotsポッドキャストで、チームがAIを使って州のすべての規則・規制を分析し、時代遅れの法律を特定していると語った。例として、犬を狩猟に連れて行くのに25ドルの手数料、妊婦が深夜以降に働くには許可が必要といった法律を挙げた。AIにより、人手では5年かかる作業を数ヶ月で完了し、時代遅れの規制を撤廃できると述べた。ニューヨーク州は大規模データセンターの新設を最長1年間停止する最初の州となり、その間に公共料金上昇や天然資源への脅威に対処する規制を策定する。
Echooは、母語で書いた文章をワンショートカットで自然な英語に変換するMac用AIライティングアシスタントです。Slackやメールなど、使い慣れたアプリ内で動作し、コピペ不要。プライバシーを重視し、無料トライアルあり。Pro版は月額$6.99。
101の企業を対象としたVentureBeat Pulse Researchの調査によると、57%の企業が過去6ヶ月間に、欠落または一貫性のないビジネスコンテキストに起因する、自信過剰で誤った回答をAIエージェントが生成した経験がある。検索拡張生成(RAG)がデフォルトのコンテキストソースであり、プロバイダーネイティブ検索(OpenAI 40%、Google 38%)が専用ベクトルデータベースを上回っている。しかし、36%はベストオブブリードのスタンドアロンツールを維持する意向を示している。ハイブリッド検索が2026年末までに主流になると予想され、58%がガバンドセマンティックレイヤーを構築中だが、本番稼働しているのは25%にとどまる。
欧州委員会は2つの仕様決定を発表。Googleに対し、競合他社との検索データ共有と、Android向けAI相互運用性の向上を求める。Googleはプライバシーとセキュリティを理由に反対。
Google DeepMindとIsomorphic Labsは、生物学におけるAIの悪用を抑制し、感染症対策を支援するためのバイオレジリエンスプログラムを発表した。この取り組みは過去1年間に政府機関、バイオセキュリティ組織、研究グループとの15以上のパートナーシップを構築している。
157のエンタープライズを対象としたVentureBeat Pulse Researchによると、組織はAIエージェントにより多くの自律性を付与する一方で、その自律性を制御するための評価への信頼は低下している。半数が内部評価を通過したエージェントを顧客に導入し失敗を経験。自動評価を完全に信頼するのはわずか5%で、最大の弱点は評価が現実の結果と一致しないこと。それでも3分の2は人間の介入なしに自動評価のみで本番展開を許可または構築中。結果として、評価ギャップ——エージェントに与えられる自律性と、失敗を捕捉するはずのテストへの信頼の差——が拡大している。
Forresterは、AIベンダーが値上げや使用量課金を通じてインフラコストを顧客に転嫁するため、来年のソフトウェア予算が大幅に増加すると警告しています。Anthropic、OpenAI、GitHub、マイクロソフトなどが使用量ベースの課金に移行し、企業のコスト懸念が高まっています。また、「AIによる解雇」にもかかわらず、IT人員支出は減少しておらず、2025年にはIT予算の35%を占めています。Forresterは、予測不能なAIコストを管理するためにFinOpsプラクティスの適応を推奨しています。
OpenAIがChatGPTをティーンエイジャー向けに年齢に適した保護機能、学習ツール、ペアレンタルコントロール、専門家とのパートナーシップでいかに安全にしているかをご紹介します。
イーロン・マスク氏のAIスタートアップxAIが、自社のAIシステムGrokを悪用して児童性的虐待素材を作成したとして、サウスカロライナ州の男性を提訴した。これはAI企業がユーザーを相手取り、AIシステムを使って児童虐待素材を生成したとされる初めての訴訟の一つ。
この記事では、最小限の設計哲学を持つAIコーディングエージェントPiを紹介します。コア機能のみを提供し、拡張ポイントを介してカスタマイズできる点が特徴です。インストール方法、認証、カスタム拡張の作成方法を解説し、実際の使用における利点を評価します。
AnthropicのClaude Corpsフェローシップは、非営利団体でClaudeを使用する早期キャリア専門家に年俸8万5000ドルと福利厚生を提供します。応募期限は7月17日。
Linus Torvalds氏は、Linuxカーネル開発におけるAIの利用を断固支持し、AIは有用なツールであり、反対する者はプロジェクトをフォークすべきだと述べた。Greg Kroah-Hartman氏やJames Bottomley氏など他の主要メンテナーもAI統合を支持し、AI生成の貢献が質的に向上したと指摘する。Torvalds氏は技術的価値を優先し、AIはカーネルコミュニティに定着すると強調する。
AIエンジニア向けの10のYouTubeチャンネルを紹介。論文解説、コーディングチュートリアル、業界分析をカバーし、研究、実践構築、コアコンセプト、業界分析の4カテゴリに分類。