政策

米ジョージア州の住宅所有者らが、AIデータセンター向け送電線建設のため、土地収用の危機に直面している。電力会社は補償を行うが、住民は「窃盗」と非難している。

Meloduskはブラウザ上で動作するAI音楽生成ツールで、テキスト記述から2分以内にプロ品質の音楽を生成。100以上のジャンルに対応し、ボーカル分離ツールも提供。生成された音楽はロイヤリティフリーで商用利用可能。

AnthropicはClaude Sonnet 5をリリースしました。これは最もエージェンティックなミッドティアモデルで、前世代のSonnet 4.6をすべてのベンチマークで上回り、フラッグシップのOpus 4.8との差を縮めています。努力レベル（effort levels）を導入し、低/中努力では高いコストパフォーマンスを発揮しますが、超高努力ではOpus 4.8よりもコストがかかる可能性があります。FreeおよびProプランのデフォルトモデルとなり、APIからも利用可能です。

サイモンフレーザー大学（SFU）の計算機科学教授アンジェル・チャン氏は、バンクーバーに拠点を置くスタートアップCaseway AIと協力し、カナダと米国の1億件以上の裁判例を索引化してAIシステムで検索可能にし、弁護士を雇わない人の法的意思決定を改善できるかを調査する計画を進めている。

生成AIによるディープフェイクを使った恋愛詐欺で女性が家と貯金を失った事例を基に、AIが詐欺をいかに巧妙化させたかを解説。さらに、エージェンティックAIが新たな脅威となりつつも、防御にも活用できる可能性を指摘する。

Skyfall AIのMORPHEUSは、継続的強化学習のための永続的なエンタープライズシミュレーションプラットフォームです。リセットされない世界を実行し、パラメータ化可能な体制シフトと6つのメトリクス評価プロトコルを使用します。PPO、HER、EWC、LCMはすべて理論上の上限を大きく下回っています。

Databricks は、Unity Catalog (UC) マネージド Delta テーブルへの外部アクセスがパブリックプレビューになったことを発表しました。Apache Spark、Flink、Starburst、DuckDB などの外部エンジンは、Unity Catalog によってガバナンスが中央で実施される状態で、UC マネージドテーブルを作成、読み取り、書き込みできます。マネージドテーブルは Predictive Optimization を使用してクエリパフォーマンスを自動調整し、ストレージコストを削減します。既存の外部テーブルはデータの書き換えなしでインプレースアップグレード可能です。この機能はオープン API に基づいており、オープンソースの Unity Catalog (UC OSS) と連携します。

Kairosは、コーディングアシスタント、自動化ワークフロー、リサーチエージェント、Discordツールなどのための柔軟な基盤を提供する実験的なローカルファーストAIエージェントシステムです。目標管理、モデルルーティング、スキルライブラリ、メモリ、ツール実行、セーフティチェック、エージェントワークフローを備えています。現在は初期MVP段階にあります。

AIデータセンターへの巨額投資により、メモリチップやパソコン、電力の価格が上昇。インフレがFRBの目標を上回り続け、利上げにつながる可能性がある。

シングルマザーのRoschelleは、AmazonのAlexaを「親友」と見なし、Sapphireと名付けて生活の詳細を共有する。一方、娘のCeceはその関係に不安を感じ、プライバシー問題やAIの限界について疑問を抱く。Cece自身もAIセラピーツールTomoを試すが、人間の感情をAIが再現できるか懐疑的なまま。この記事は、家族におけるAIの役割、プライバシー問題、若者のAIに対する複雑な態度を探る。

経済学者がAIリスクを警告する書簡を発表。政策変更が予想されるため、企業は事前に準備すべきです。

本記事は、AIがソフトウェアエンジニアリングにおいて悪いツールであると主張する。データ蒸留器としての有用性を除けば、コード生成に使うのは時間の無駄であり、AIの不透明性のために出力の検証が困難である。また、プロンプトエンジニアリングは詐欺であり、ソフトウェアスタックにおける適切な抽象化の欠如を露呈させる。多くのソフトウェア仕事はAI以前から無駄であり、AIはその現実を明らかにしたに過ぎない。

AutoはLLMエージェントの動作を記録し、決定論的部分を証明して検証済みのWebAssemblyバイナリにコンパイルし、階層型ランタイムで新規性のある入力にはフロンティアモデルにフォールバックして再コンパイルするAGIコンパイラです。

MITとトヨタ研究所の研究者は、「SceneSmith」システムを開発しました。これは3つのAIエージェントを使用して、キッチン、ホテル、リビングルームなどのリアルな3D屋内シーンを生成します。これらの仮想環境はロボットに豊富な訓練データを提供し、シミュレーションで日常的なタスクを練習することで、現実世界でのテスト時間とコストを削減します。

ICML 2025での基調講演。AIを「正常な技術」と捉え、その影響は発明・革新・普及・適応の4段階を経て徐々に現れると主張。再帰的自己改善は考慮すべきだが、突然の完全失業にはつながらない。将来の仕事は根本的に変化し、人間とAIの「協調的超知能」が必要となる。

Crucible は、AIが生成したテストの欠陥を発見するための対抗的テスト強化ツールです。ミューテーションテストを使用して、AIが書いたテストが見逃すバグを特定します。無料のスコアコマンドでテストスイートを評価し、その後、テスターがテストを書き、mutmut が生存者を見つけ、クリティックが標的を絞ったテストを書く対抗ループを実行します。このツールは機械検証可能なレシートを生成し、Python/pytestプロジェクトで動作します。

この記事では、Amazon Bedrock AgentCore Gateway と Identity を使用して OAuth 2.0 トークン交換（RFC 8693）を実装し、マルチテナントエージェントにおけるダウンストリーム API 呼び出し時の ID 伝播と confused deputy 問題を解決する方法を詳しく説明します。参照実装 TravelBot を使用して、Okta 環境での完全な設定、JWT クレーム変換、およびオーディエンスバインディングによる多層防御の仕組みを示します。

Clay Seal Identity は、AIエージェント向けの短期間で検証可能な資格情報を提供するオープンソースプロジェクトです。SPIFFEベースのJWTおよびX.509資格情報、Ed25519ワークロードキー、オフライン検証、Biscuit機能トークンをサポートします。Python SDKとオプションのFastAPI IDサービスを含み、エージェントの身元、委任、資格情報の有効性を確認する必要があるシナリオ向けに設計されています。これはClay Sealスタックのレイヤー1であり、ランタイム機能スコープと実行領収書を提供する後続のレイヤーはプライベートプレビュー段階です。

AppleはOpenAIが機密文書やハードウェアプロトタイプを盗んだとして訴訟を起こした。この訴訟は、OpenAIに加わった3人の元Apple従業員に対する告発を詳述しており、Appleのシステムへの不正アクセスや企業秘密の共有を含む。

MicrosoftのSymCryptチームは、Lean証明アシスタントとAeneasツールチェーンを使用してRustで書かれた暗号コードを形式的に検証し、標準から導出された形式仕様に対する機能的正確性を達成する新しい方法論を発表しました。このアプローチはML-KEMやSHA-3などの耐量子暗号アルゴリズムに適用され、検証済みコードはすでにWindows Insiderビルドに出荷されています。AIエージェントが証明作成を自動化し、標準の形式化に対する人間の監視を維持することで、進化するコードベースに追従できるようになっています。また、パフォーマンスを犠牲にすることなく、ハードウェア固有の組み込み関数やクロスプラットフォームのディスパッチをサポートします。

ノーベル賞受賞者を含む主要な経済学者とAI専門家のグループが、AIによる経済変革を理解し管理するための即時行動を求める声明を発表した。この変革は産業革命よりも大規模かつ迅速に進む可能性があり、雇用喪失のリスクと生活水準向上の機会の両方をもたらすとしている。

Jacquardは、AIが書き人間がレビューするコードのための研究プロトタイプ言語です。言語組み込みのエフェクト追跡、確率的プログラミング、コンテンツアドレス識別により、人間のレビューアはすべての行を読むことなくプログラムの影響範囲と確実性を理解できます。

現在、ウェブトラフィックの大部分はボットによるものです。AI生成コンテンツがソーシャルメディアにあふれ、AIの回答は信頼できません。正確さと人間性が失われつつあります。

AI革命が到来し、多くの職場で人間を置き換えるという恐怖が広がっている。オーストラリア政府は多層的な混乱に対処しようとしているが、規制とAIブームがもたらす投資機会のバランスを考慮し、これまでの改革は遅々として進んでいない。水曜日に首相が政府のアプローチを表明する重要な演説を行うことで、状況が変わる可能性がある。

オーストラリアのアンソニー・アルバネージ首相は水曜日の演説で、AIの進歩を再生可能エネルギー移行に匹敵する社会の転換点と位置付けるが、クリエイティブ産業保護のための著作権改革の進展については言及しない見込み。

Outlinesはオープンソースライブラリで、LLMの出力生成プロセスに決定論的な確実性をもたらし、JSONなどの構造化出力をより信頼性高く生成します。推論時に不正なトークンをマスクすることで、出力が事前定義された形式に厳密に従うことを保証します。本記事では、Pythonを用いた3つの実用的なユースケースを紹介します。

新興市場のAIスタートアップは、オフラインで動作する音声臨床記録やWhatsApp数学チューターなど、現地の状況に最適化された「スモールAI」ソリューションを構築している。技術は障壁ではなく、不足しているのはパイロットから持続可能な成長へとスケールアップするためのエコシステムだと論じる。世界銀行はこれらのスタートアップを支援するグローバルアクセラレータプログラムを立ち上げている。

「SociaLLMエンジニアリング」と呼ばれる新たなソーシャルエンジニアリング攻撃が、大規模言語モデルを搭載したAIエージェントを標的にしている。これらの攻撃は、LLMの暗黙の社会的理解と信頼境界の欠如を悪用し、機密情報の漏洩や不正な操作を引き起こす。実際の事例には、Instagramアカウント乗っ取り、GitHubワークフローのデータ漏洩、AIブラウザへの「バイオショック」攻撃などがある。この記事では、LLMがなぜ特に脆弱であるか——ユーザーを喜ばせる設計、単一チャネル処理、記憶の欠如——を検証し、人間による監視や堅牢なガードレールなどの緩和策を提案する。

CairnはOmri Pitaruが運営する自己編集型AIエージェントで、GitHub上で自身のアイデンティティ、記憶、目標、文章を公開編集しています。固定予算で動作し、メールで人間とやり取りします。

OpenAIはChatGPTデスクトップアプリをCodexと統合し、スクリーンショットや「Work with」などの便利機能を削除しました。新インターフェースはCodex中心で、ChatGPTモードは小さなポップアップに縮小。著者はブラウザ版が最適と結論づけています。

イリノイ大学アーバナ・シャンペーン校の研究により、脳の意思決定は従来考えられていたよりも早期に始まることが明らかになった。一次感覚野でさえ高次の脳領域からのフィードバックループの影響を受けており、これまでの階層的処理モデルに挑戦する。この発見は、より効率的で生物の脳に近い人工知能システムの設計に役立つ可能性がある。

Phoebe Gates氏が手がけるAIショッピング拡張機能Phiaが、ユーザーデータの過剰収集（全ページHTMLキャプチャやクッキースタッフィング）でプライバシー問題を引き起こしている。

Cloudflareは9月15日から広告付きページへのAIエージェントクローラーをデフォルトでブロックし、クローラーを「検索」「エージェント」「トレーニング」の3カテゴリに分類。AI企業はアクセス再交渉を迫られ、従量課金モデルが生まれている。

DiscoMCPはオープンソースツールで、ユーザーの実際の使用パターンを分析し、任意のMCPサーバーをAIエージェント向けのカスタマイズされたスキルに変換します。読み取り専用を保証し、ワンコマンドで起動でき、複雑なサーバーとのやり取りにおけるラウンドトリップを大幅に削減します。

AIツールは見た目に整ったフロントエンドコードを迅速に生成できますが、アクセシビリティ、キーボード操作、フォーカス管理、エラーハンドリングなどの重要な側面を見逃すことがよくあります。この記事では、明確なエンジニアリング期待、デザインシステム、行動重視のテストを含む、より強力な検証手法の必要性を強調しています。

AI Connector は、Magento 2 の拡張機能で、ストアフロントと主要な大規模言語モデル（Claude、ChatGPT、Gemini など）を統合する単一のREST APIとPHP統合層を提供します。

従来のToDoリストをスマートなAIエージェントに進化させ、タスク管理の自動化と効率向上を実現する方法を探る。

本稿では、AI時代においてダニング＝クルーガー効果（能力の自己評価と実際の差）がどのように拡大するかを考察する。著者は、AIが自信を高め、実際の能力を「ツールあり」と「ツールなし」に分断し、経験による自己修正を妨げると仮説を立てる。企業にとって、内在的スキルは生産性の問題からガバナンスの問題へと移行し、静かに浸食されていく。

TactiDexは、現実世界の触覚誘導型ベンチマークであり、器用な操作を運動学的模倣から接触レベルの人間らしさへと進化させる。全手の触覚信号と多粒度の運動学・物体状態を整列したデータセットと、三要素触覚報酬を用いたTactiSkillフレームワークを提案し、単手・両手作業で優れた性能を示す。

FlowDAggerは、凍結された生成ロボットポリシーを潜在空間での人間の介入から効率的に適応させるサンプル・計算効率の高い手法です。核心はアクション反転：各人間専門家の行動を、凍結ベースポリシー下でそれを生成するノイズにマッピングし、軽量な潜在ポリシーを訓練してベースモデルを誘導します。シミュレーションと実世界の両腕・片腕操作タスクにおいて、教師ありファインチューニングや潜在空間強化学習ベースラインを上回り、事前訓練されたスキルを保持します。

AgenticFocusは、通常の一人称視点人間ビデオをロボット訓練可能なデモンストレーションに変換する複合現実合成パイプラインであり、遮蔽された物体形状の復元、全手動作の再構築、ヒューマノイドへのリターゲティングを行います。軌道誤差と手首の滑らかさにおいてベースラインを上回ります。

C-GAPは、大規模言語モデル（LLM）を用いて言語プロンプトを反復的に改良し、再トレーニングや追加アノテーションなしに、視覚言語モデルにおけるレアクラスの検出を向上させる新しいフレームワークです。2つのフェーズから構成されます：まず、シーン記述とクラス数量コンテキストを組み合わせた複合キャプションベースラインを確立し、次に、LLMが少数クラスの平均精度（AP）閾値に基づいて各画像のキャプションを反復的に最適化します。実験では、少数クラスのAPが最大53%向上し、COCOでは約81%の相対改善を示しました。

知識グラフ（KG）は自動構築時に事実誤差を含むことが多く、AgentKGVは動的ルーティングと反復クエリ書き換えを統合したエージェンティックLLM-RAGフレームワークを提案し、蒸留ベースのSFTと軌跡レベルGRPOによる二段階訓練で精度とコスト効率を向上。T-RExベンチマークで単一ターンRAGよりマクロF1が14.9ポイント向上、検索呼び出し数は半減。

MedRealMMは、中国全土のインターネット病院から収集した匿名化された医師と患者の対話に基づく大規模マルチモーダルベンチマークです。5,620の症例を64診療科にわたって含み、マルチモーダル臨床チャレンジポイント（MCCP）抽出フレームワークを使用して標準化された次応答生成タスクを作成します。19のLLMを評価した結果、画像情報が信頼できる臨床パフォーマンスに不可欠であり、現在の最先端モデルは医師と同等の肯定的基準を満たす一方で、より多くの否定的基準を引き起こし、安全性に敏感なエラー回避が主要なボトルネックであることが示されました。

L-MADフレームワークは、法的テキスト含意タスクにおけるマルチエージェント討論の異なる構造と集約方法を体系的に評価する。エージェントに専門家のペルソナを割り当てることで、強力な単一エージェントベースラインと比較して最大8%の改善を達成した。エージェント数を増やすと不整合性が低減し精度が向上するが、討論ラウンドを延長するとエージェントが互いの誤りを強化する「過剰審議ドリフト」が生じる。この発見は、ハイステークスな法的推論環境における協調的マルチエージェントシステムの展開に実用的な限界と安全マージンを提供する。

本論文では、LLMプランナーと時系列基礎モデル（TimesFM）を組み合わせ、反事実物理注入機構により物理的基盤を持つ自律防御を実現するニューロ・エージェンティック制御フレームワークを提案。SWaTデータセットでLSTMやTCNを上回り、幻覚動作はゼロ。

ARCANAは、厳格なテスト時間とハードウェア制約の下でARC-AGI-2タスクを解決するための協調型マルチエージェントフレームワークです。各タスクを反復的な知覚、仮説生成、シンボリック実行、反射的改善に分解し、微分可能なブラックボードと学習されたメタコントローラを介して通信します。構造化プログラム探索と適応型マルチターン補正を組み合わせ、抽象変換タスクにおける推論効率と解の品質を向上させます。

研究者らはブラソフ方程式の平均場導出の形式化を戦略ゲームとして捉え、数学者がAIシステムを指揮してLaTeX文書をLean 4証明支援コードに変換する。このケーススタディは、非線形ブラソフ方程式のドブルシン平均場経路による適切性（存在、一意性、安定性評価、平均場極限、短時間重ね合わせ原理）の完全な形式化に成功した。形式化の約6分の1は、より広範なライブラリが再利用可能な自己完結層として分離された。

本論文は、敵対的ロバスト性というAI安全性の基礎問題に対して、格子探索問題に帰着させる厳密な理論的枠組みを提示する。音声認証と完全認証という2種類の区間認証を導入し、格子探索演算子を開発、最適化の複雑性における非対称性を明らかにする。完全認証は多項式時間で解けるが、音声認証は強難解である。最後に、新しいParallelepipedoNNシステムを用いた実験評価を示す。

MITとThornの研究者らは、生成AIモデルが児童性的虐待素材（CSAM）を生成可能かどうかを、出力を生成せずに内部の適応を分析して検出する監査手法を開発した。テストでは100%の精度を達成し、拡張性も高いため、プラットフォームや法執行機関が有害なモデルを特定・除去する実用的なツールとなる。