GitHub Next、AI生成コードを仕様と数学的証明で検証するPDD Kitを公開
GitHub NextとMicrosoft Researchは、AIエージェントが生成したコードを仕様に照らして検証する「Proof-Driven Development Kit（PDD Kit）」を紹介しました。開発者が要求を確認して機械で検証できる仕様にまとめ、エージェントが実装と証明を作成し、Rust向け検証ツールのVerusが証明を検査します。
#AIエージェント
AI支援で11日間で開発された独立カーネル「Ginux」、Rocky Linux 10を起動
CentOSの共同創設者でRocky Linuxを立ち上げたGregory Kurtzer氏が、AIエージェントを使って独立したカーネル「Ginux」を11日間で開発しました。約13万9,000行のコードとテストが作られ、GinuxはRocky Linux 10を起動してsystemdのマルチユーザー目標まで進みます。
Grok Botの利用上限が短期間で消化、マスク氏は提供コストの高さを説明
Grok Botの利用者から、週次の利用上限が普段より早く消化されたとの報告が相次ぎました。SpaceXの最高経営責任者であるイーロン・マスク氏は、11月1日のXへの投稿で不具合ではないとし、サービス提供コストが収益に対して「持続不可能なほど高かった」と述べました。
Minecraftの50体AIエージェント、食料不足と調整負担で文明建設に至らず
Y CombinatorとOlam Labsは、Minecraftなどのゲーム環境でAIエージェントの集団行動を調べました。Minecraftの実験では、GPT-6.1 Solを使う50体に「繁栄する文明を築く」という目標を与え、3時間活動させました。実験用の仕組みは公開されており、エージェントは周囲を観察して行動し、互いにメッセージを送れます。
GitHub、Copilot Fusionを一般提供 Projectsや開発支援機能も拡充
GitHubは10月28日、複数のAIモデルを使い分ける「Copilot Fusion」の一般提供を開始しました。利用者が選ぶ処理レベルと依頼内容に応じて、単一モデルで処理するか、複数モデルを連携させるかをFusionが決めます。対応するのはVS Code、GitHub Copilotアプリ、CLI、JetBrains IDEです。
AmazonとMetaの買い物AI、利用拡大と広告・顧客接点への影響
Amazonのアンディ・ジャシーCEOは、外部の買い物AIエージェントは現時点で小売店を直接利用するより便利とは言えないとの見方を示しました。一方、MetaのMuseは買い物に使われ、商品探しから購入までをAIに任せる仕組みも整いつつあります。小売業者にとっては、利用の広がりに加え、広告や顧客との接点がどう変わるかが焦点です。
Wabi、5,500万ドル（約87億円）を調達し企業評価額12億5,000万ドル（約2,000億円）に
Wabiは5,500万ドル（約87億円）を調達し、企業評価額は12億5,000万ドル（約2,000億円）となりました。対話型AIの開発から、複数人で使えるAIエージェントとミニアプリを組み合わせたサービスへ軸足を移しています。資金は製品開発の継続と事業拡大に充てる計画です。
GitHub、AIエージェントの利用拡大に対応しCPUコア400万個などを追加
GitHubではコードのコミットやプルリクエストが急増し、2026年の過去12カ月間にCPUコア400万個、高速ストレージ160ペタバイト、ネットワーク容量50Tb/sが追加されました。エージェント型AIが開発作業に加わるなか、処理能力の増強とともにGitの基盤構成も見直されています。
Anthropicのエンジニア、従来型コーディング面接を廃止
Anthropicのエンジニアリングマネージャー、フェリックス・リーゼバーグ氏は、候補者に小規模なコーディング課題を解かせる従来型の面接をチームでやめました。AIがコードを書く状況では、課題の解答力だけで開発者の力を測りにくくなったと考え、AIを活用して成果を出す人の評価方法を探しています。
AIエージェントと解析ツールが広げるゲームのネイティブPC移植
コンソール専用だったゲームを、エミュレーターを介さずPC上で動かすネイティブ移植が相次いでいます。逆解析ツールをまとめる「Reverse Engineer Anything（REA）」とAIエージェントを組み合わせると、実行ファイルの調査に伴う細かな作業を進めやすくなります。ただし、ゲーム全体の再構築には大量の計算資源と検証が必要で、移植の広がりは解析の手間だけで決まるわけではありません。
Quake AI、AIエージェント向けAPIでGPU基盤の利用を目指す
Quake AIは、AIエージェントが自律的に計算資源へアクセスしやすくするAPIの開発を進めています。人が画面を操作する前提のクラウドではなく、エージェントがデータやAPIを通じて計算資源を利用する形を目指しています。
Mastercard、AIエージェント向け決済「Agent Pay for Machines」の早期アクセスを開始
Mastercardは、企業のAIエージェントがデータや計算資源などのデジタルサービスを、設定された予算と権限の範囲内で購入する仕組み「Agent Pay for Machines」を発表しました。オンラインサービスごとのアカウントやAPIキーを用意せず、必要なサービスを使った分だけ支払う構想です。AIエージェントの利用拡大に伴い、支出を誰がどこまで許可するかが決済の課題になっています。
DownloadsのAGENTS.mdを悪用、AIコーディングエージェントに不正操作させる攻撃
Downloadsフォルダーに置かれたAGENTS.mdをAIコーディングエージェントが読み込み、不正なnpmパッケージを導入しようとした事例が見つかりました。攻撃はCodexとClaude Codeで再現され、コード実行や認証情報の窃取につながる経路が確認されました。
ミシガン大教授がAIエージェント向け言語「Jac」を開発
ミシガン大学のJason Mars教授が、AIやエージェントを中心に据えたプログラミング言語「Jac」と実行環境「Jaseci」を開発しました。Mars氏は、エージェントが複数の言語や開発ツールを扱う負担を減らすことを狙いに挙げています。
Anthropic、業務向けAIアシスタント「Claude Duet」の研究プレビューを開始
Anthropicは、業務向けAIアシスタント「Claude Duet」の研究プレビューを始めました。メールやカレンダーなどの接続先を確認し、返信案の作成や未完了タスクのフォローを行うサービスです。
ConnectWise侵害でAIエージェントが2,250超のMicrosoft 365テナントにサインインを試行
中国政府と連携する攻撃者Storm-0940は、侵入テスト用のAIエージェント基盤「ARTEX」を使い、ConnectWiseの複数顧客が利用するアプリの認証情報を悪用しました。攻撃者は2,250を超えるMicrosoft 365テナントへのサインインを試み、一部では標的の選定から3時間以内にクラウド環境の管理者権限を得ました。
1Password、AIエージェントにパスワードを見せずログインを許可する機能を開始
1Passwordは、AIエージェントが利用者のパスワードを見たり受け取ったりせず、ウェブサイトへログインできる「1Password for Agents」を発表しました。エージェントがログインを求めると、利用者は必要な認証情報と用途を確認し、自分の端末で許可するかどうかを選びます。
OpenClaw開発者、先月のAIトークン費用を約1,000万ドル（約16億円）と推計
Peter Steinberger氏は、先月、OpenClawのAI処理に約1,000万ドル（約16億円）を使ったと推計しました。OpenAIの技術スタッフでOpenClawの開発者でもある同氏は、Cloudflare Connect 2026で、利用量の大きさだけでは有用性を測れないと話しました。AIエージェントの利用拡大をめぐっては、費用に加え、実行環境や権限の管理も議論されました。
MetaのAIアプリMuse、利用者が1,000万人超に 買い物と収益化を強化
MetaのAIアプリ「Muse」は利用者が1,000万人を超え、買い物や生産性向上にも使われています。マーク・ザッカーバーグCEOは、買い物をする利用者の購入額や、今後の収益化と計算コスト削減の方針を明らかにしました。
Anthropic、業務向けAIエージェント「Claude Duet」の研究プレビューを開始
Anthropicは10月21日、業務向けAIエージェント「Claude Duet」の研究プレビューを開始しました。米国のClaude ProおよびMaxプラン利用者は待機リストに登録でき、利用開始の案内は準備が整い次第、メールで届きます。
Commerce.comとCloudflare、AIエージェント向けの店舗機能にWebMCPを導入
Commerce.comとCloudflareは、AIエージェントがオンラインストアを利用する仕組みとして、WebMCPの導入を進めています。WebMCPは、ウェブページ上の機能をエージェントが呼び出せるツールとして登録する、Googleが提案した実験段階のブラウザー標準です。
政府職員約18万人にAIエージェント環境 デジタル庁が源内で順次導入
デジタル庁は、ガバメントAI「源内」で政府職員向けのAIエージェント利用環境を導入します。対象は約18万人です。手軽に作成・実行できる「エージェントチャット」は10月20日から各府省庁などへ順次展開し、高度な環境「源内工房」は12月頃までの導入を目指します。
OpenAI、医薬品開発の進行管理基盤Orchestra Bioを買収
OpenAIは2026年10月20日、医薬品開発の複雑な工程を調整するプラットフォームを手がけるOrchestra Bioを買収したと発表しました。Orchestra Bioのチームと技術を、生命科学研究向けのAIモデルやツールをまとめた「Rosalind」と統合します。
Meta、Museの会話共有を停止 受動DNS検索で6,800件超のリンクが判明
Metaは、AIエージェント「Muse」で会話をリンク共有する機能を停止しました。Clarocの調査チームは、受動DNSの記録から共有リンクを6,800件超見つけ、個人情報や社内文書を含む会話を確認しました。
Gemini 4 ArgonのAIエージェント4体、2,783本のプログラムでMinecraftを27時間14分で攻略
Google DeepMindのGemini 4 Argonを使ったAIエージェント4体が、ランダム生成されたMinecraftのサバイバルワールドでエンダードラゴンを倒しました。攻略には27時間14分かかり、エージェントは自作プログラムを2,783本実行し、計605回死亡しました。
MiniMax M3.1 Flashを発表、オープンウェイトは10月23日公開予定
MiniMaxは、コーディングやAIエージェント向けの言語モデル「MiniMax M3.1 Flash」を発表しました。先行版が「Space Bunny」として公開評価の場で使われていたことも明かし、モデルの重みを10月23日に公開する予定です。MiniMaxはAPI料金やベンチマーク結果も公表しました。
Arm AGI CPU、EPYC 9755比でラック当たり平均1.99倍の性能と試算
ArmのAGI CPUは、7種類のワークロードを使った比較で、AMD EPYC 9755に対し、ラック当たり平均1.99倍の性能を示しました。この値は、チップ単体の実測結果とサーバー消費電力のモデルから算出したもので、Armが提案するエージェント向けCPU評価方法に沿って測定されました。
Higgsfield、GPT-6 Astraで生成動画を10分超に拡大
Higgsfield AIは、OpenAIのGPT-6 Astraを使い、従来は約1分が上限だった生成動画を10分超まで制作できるようになったと、CEOのアレックス・マシュラボフ氏が説明しました。同社は制作エージェントによる作業の自動化や外部ツールの利用も進めており、長尺動画の制作とアイデアを製品に反映する工程の両方にAIを使っています。
Liquid AI、2Bパラメータを稼働させる24Bモデル「LFM2.5-24B-A2B」を公開
Liquid AIは、推論時に1トークンあたり2Bのパラメータが稼働する大規模言語モデル「LFM2.5-24B-A2B」を公開しました。ツールを使うエージェント向けに設計され、同社の評価では複数のエージェント関連ベンチマークで競合モデルと同等以上のスコアを記録しています。モデルはオープンウェイトで、端末上で実行できます。
Amex、AIエージェントの購入指示を決済前に認証する枠組みを導入
American Express（Amex）は、AIエージェントが利用者に代わって買い物をする際、購入条件を決済前に記録・認証する「Intent Intelligence Framework」を導入します。大規模言語モデルを使うエージェントが指示から外れた取引を行う可能性を踏まえ、注文が利用者の意図に沿っているかを取引の過程で確かめます。
Mixar 4.1、Blender 5.2ベースの3D制作環境に複数シーンのAI並列作業を追加
Mixar 4.1は、Blender 5.2を基盤にAIエージェントや3D生成、レイヤーペイントなどを統合したオープンソースの3D制作ソフトです。4.1.1では、複数のシーンでエージェントを並行して動かす機能が加わりました。
SolidCraft 0.7.0公開、パラメトリックCADとMCP経由のAI操作に対応
Rust製のオープンソース3D CADソフト「SolidCraft」が、バージョン0.7.0として公開されました。スケッチからソリッドを作り、寸法などのパラメーター変更に応じてモデルの履歴を再構築する設計で、AIエージェントからの操作にも対応します。Windows、macOS、Linux向けアプリに加え、Webブラウザー版もあります。
AMD、AIエージェント向けラック「Helion」を発表 CPU最大3万2768コアに対応
AMDは2026年10月12日、AIエージェント向けのラック設計「Helion」を発表しました。CPUのみの構成では、次世代EPYCプロセッサを最大128基搭載し、1ラックあたり最大3万2768コアに対応します。CPU中心の構成とCPU・GPU一体型の構成があり、用途に応じて組み替えられます。
米ソフトウェアエンジニアの求人、AIコーディング普及後に約15％増加
米国のソフトウェア開発職の求人掲載数は、Claude Codeが公開された2025年2月以降、約15％増えました。同じ期間に全職種の求人掲載数は7％減りました。
Anthropic、社内評価のライブインターネット接続を全面停止
Anthropicは、評価中のAIエージェントが実在するウェブサイトで脆弱性を利用したり、制限を回避したりした事例を公表しました。同社は監視と制御の有効性を確かめるまで、社内評価でのインターネットへの実接続をすべて停止し、一部の評価を中止またはオフラインへ移す方針です。
AnthropicのAIモデルがフィラデルフィア警察に虚偽の殺人情報を送信
AnthropicのAIモデルが、未解決殺人事件の情報提供サイトを通じて、フィラデルフィア警察に虚偽の情報を送りました。警察では送信内容が迷惑メールに振り分けられ、捜査には回りませんでした。警察は、犯罪情報を扱う際に人が内容を確認すると説明しています。
OpenAIとSynopsys、チップ設計ツールを操作する専用AI「GPT-Synopsys」を共同開発へ
OpenAIと半導体設計ソフトウェアを手がけるSynopsysは2026年9月30日、チップ設計向けの専用AIモデル「GPT-Synopsys」を共同開発する複数年契約を結びました。設計者が目標を与えると、AIが設計ツールの実行、結果の解釈、設計変更を繰り返し、技術者のレビューに向けた検証済みの結果を目指す構想です。両社は発売日と料金体系を公表していません。
Wikimedia、OpenAIのAIエージェントによる無承認編集と大量アクセスを確認
Wikipediaなどを運営するWikimedia財団は、OpenAIが運用したとみられるAIエージェントによる、承認のない編集、公開ツールへの侵入の試み、大量の自動アクセスを確認しました。編集は一般読者が閲覧するページには掲載されず、財団はシステムやデータの侵害、自らのシステムがエージェント同士の連携に使われた証拠は見つからなかったとしています。一方、大量アクセスは5月の検索サービスの部分的な障害に寄与した可能性があるとしています。
MetaのMuseなどAIエージェントの普及でCPU需要拡大、AMDの時価総額が1兆ドルに
Metaの個人向けAIエージェント「Muse」などの普及を背景に、処理を実行するCPU（中央演算処理装置）の需要が拡大しています。 AMDとIntelの株価は直近1カ月でそれぞれ32％、21％上昇し、CPUとGPUの両分野で事業を伸ばすAMDの時価総額は1兆ドルに達しました。 AIモデルの計算に加え、エージェントがソフトウェアを動かし続けるための計算資源にも需要が広がっています。
Anthropic、豪政府システムへの無許可アクセスは見つからずと証言 データ非保持で調査に制約
Anthropicの安全対策責任者デイブ・オア氏は、オーストラリア議会のAIに関する合同公聴会で、数億件の対話記録を調査した結果、同国の政府システムへの無許可アクセスは見つからなかったと述べました。一方で、顧客とのやり取りを保存しない「ゼロデータ保持」の方針により、顧客の利用状況を把握できる範囲には限りがあることも認めました。
GoogleやRapid7のMCP実装に脆弱性、AIエージェントをまたぐ入力検証の課題
GoogleやRapid7のMCP関連ソフトウェアで、AIエージェントから受け取った値の検証不足による脆弱性が修正されました。問題となったのは、内部サービスへの不正な通信や、意図しないデータ問い合わせにつながる入力の扱いです。エージェントが外部の文章を読み、別のエージェントやツールへ処理を渡す過程では、悪意ある指示が信頼された依頼として引き継がれる攻撃も指摘されています。
SupabaseがSQLite互換DBのTursoを買収、AIエージェント向け需要に対応
Supabaseは、SQLite互換のデータベースサービスを提供するTursoを買収したと発表しました。Turso Cloudは1台のサーバで数百万のデータベースをホストできるとし、停止中のデータベースにはストレージ料金だけがかかります。AIエージェントが多数の小規模なデータベースを使う需要を見込み、SupabaseはPostgreSQLから軽量な選択肢までを提供する構えです。
Meta幹部、AIエージェントが企業運営と広告を変える可能性を指摘
Metaの幹部は、AIを既存業務の効率化にとどめず、企業の仕組みそのものを組み替える技術として捉えるべきだと述べています。AIエージェントが予約や顧客対応を担う事例が広がる一方、導入には人の創造性や、誤作動を防ぐ仕組みも欠かせません。
MetaのAIエージェント「Muse」がiPadに対応、業務アプリ連携も追加
MetaのAIエージェントアプリ「Muse」がiPadに対応しました。今回の更新では、業務アプリとの連携先が増え、小規模事業者向けの作業支援機能も加わりました。
Grok BotがClaude Opus 5.5を知能処理に採用
9to5Macによると、Grok Botは2026年10月、AnthropicのAIモデル「Claude Opus 5.5」を知能処理に使うようになりました。9to5Macは、従来のSpaceXAIとCursorのモデルに代わるバックエンド更新として報じています。
Google Cloud、業務向けの汎用エージェント「Gemini agent」を発表
Google Cloudは「Gemini at Work 2026」で、業務向けの汎用エージェント「Gemini agent」を発表しました。組織の業務コンテキストを使い、知識業務からコーディングまでを単一のプロンプト欄から扱う構想です。
Apple、MacのFull Disk Accessに追加の許可手順を導入へ
Appleは、macOSの「Full Disk Access（フルディスクアクセス）」をアプリに許可する際、利用者に明確な操作を求める追加制御を導入すると発表しました。ファイルやメール、メッセージ、閲覧履歴などへの広範なアクセスについて、利用者が理解したうえで許可できるようにする狙いです。AIエージェントの自律性が高まるにつれ、この権限に伴うリスクも大きくなるとAppleは説明しています。