1/5
GPT-6.1 SolのAPI価格(Astra比)、性能はほぼ同等
1,000+
AlloyDBがAIエージェント向けに自動スケールする読み取りレプリカ数
0.29秒
Bendが1.28万定義のコードを型・証明チェックする時間(Isabelle/Agdaは5分超)
🔥 Top Stories
OpenAIは9月29日のDevDayで、GPT-6 Astraを土台にした常時稼働型エージェント「dots」を発表した。従来のエージェントが都度指示して実行させる形だったのに対し、dotsはOpenAIのサーバー上に確保された専用の仮想マシン内で24時間稼働し続け、ユーザーがオフラインでも作業を進める。4,000以上の外部アプリと連携し、ChatGPT・Slack・Teams上から呼び出せるほか、音声通話や後からのテキスト送信にも対応する。エージェントの逸脱行動を測る「computer-use safety stress test」では、逸脱の発生率がAstraで2.4%、Opus 5.5で6.1%、Fable 5.1で9.5%と報告され、Astraが自社比で最も低い数値を示した。ただしこれはOpenAI自身が実施した内部ベンチマークであり、第三者機関による独立評価ではない。初期テスターの事例では、請求書作成をタスクとして与えると内容を自動生成した上でユーザー承認後に送信まで実行したという。展開はProプラン(月額100ドル)およびBusiness Premiumの対象地域から始まり、欧州・スイス・英国は当面対象外。最初の1エージェントは追加料金なしで利用でき、最初の1か月は利用上限を設けない。OpenAIは同日GPT-6.1 Solも発表しており、常時稼働の拡大と低コスト化を同時に進める方針が読み取れる。
🧠 「常時稼働」型のエージェントは、ユーザーが監督しない時間帯に何を実行したかの説明責任をどう担保するかが実運用上の課題になる。今回示された安全性数値はOpenAI自身の内部テストであり、独立した第三者評価が伴わない限り「他社より安全」という主張をそのまま受け取ることはできない。ただし請求書送付のような実害を伴うタスクを承認フロー付きで自動化する設計は、単純な作業代行の延長ではなく判断を伴う代行に踏み込んだ点で、これまでのチャット型エージェントとは一線を画す。
- computer-use safety stress testでの逸脱発生率はAstra 2.4%・Opus 5.5 6.1%・Fable 5.1 9.5%(OpenAI自社測定)
- 4,000以上のアプリと連携しChatGPT・Slack・Teams上で稼働、音声通話・テキスト送信にも対応
- Proプラン(月100ドル)・Business Premiumの対象地域から展開開始(欧州・スイス・英国は対象外)、初回1エージェントは無料・初月は利用上限なし
💡 バックグラウンドで長時間自律実行するエージェントの導入を検討するなら、承認フローの設計とログ監査の仕組みを合わせて用意しないと、意図しない実行結果への対応が後手に回る。
OpenAI
⏱ 4 min read
2026-09-29
▲ 444
OpenAIは9月29日のDevDayで、上位モデルGPT-6 Astra比で価格を5分の1に抑えた新モデル「GPT-6.1 Sol」を発表した。長時間のソフトウェア開発タスクを評価するDeepSWE v1.1ではAstraとほぼ同等の性能を、前モデルGPT-6 Solから6.4ポイント上回るスコアで達成した。コンピュータ操作を測るOSWorld 2.0は前モデルから7ポイント向上し、Astraとの差は2.1ポイントまで縮まった。Terminal-Bench Science 0.1ではタスクあたりの平均コストがSolで5.47ドル、Astraで23.80ドルとなりコスト効率の高さを示す一方、正答率自体はAstraが68.1%で依然上回る。API価格は入力100万トークンあたり2ドル・出力10ドルで、ChatGPT Work・Codex各プランでも即日利用可能となった。
- DeepSWE v1.1でAstraとほぼ同等の性能、前モデルGPT-6 Solから6.4ポイント向上
- Terminal-Bench Science 0.1のタスク平均コストはSol 5.47ドル・Astra 23.80ドル(正答率はAstraの68.1%が依然上回る)
💡 Astra級の精度が必要ない日常的なコーディング用途では、Solへの切り替えでAPIコストを大きく圧縮できる余地がある。
OpenAI
⏱ 3 min read
2026-09-29
▲ 747
AIエージェントのセキュリティを専門とするRecoが9月29日、5,500万ドルの追加調達を発表した。2月発表のシリーズB(3,000万ドル)と合わせ累計調達額は1億4,000万ドルに達し、企業価値はシリーズB時から2倍以上に増加した。AT&T Venturesが戦略投資家として参加し、Forestay・Quadrille Capitalが新規投資家として加わった。同社はコンテキストグラフでエージェントをアプリ・ユーザー・アカウント・権限に結びつけ、セキュリティチームがエージェントのアクセス範囲を可視化し不要なアクセスを遮断できるようにする製品を提供する。顧客は100社超に達し、その約4割を金融サービス企業が占める。
- 累計調達額1億4,000万ドル(2月のシリーズB3,000万ドル+今回5,500万ドル)、企業価値はシリーズB時から2倍以上に増加
- コンテキストグラフでエージェントをアプリ・ユーザー・アカウント・権限に紐付け不要アクセスを遮断、顧客100社超のうち約4割が金融サービス企業
💡 AIエージェントの社内導入が進むほど「エージェントが何にアクセスできるか」の可視化と権限管理が後回しになりがちで、専門ツール市場への投資拡大はその需要の裏返しといえる。
TechCrunch
⏱ 3 min read
2026-09-29
⚡ Dev & Engineering
Google Cloudは9月29日、AIエージェント専用の隔離環境をAlloyDB上に構築する新機能を発表した。エージェントからの大量アクセス用にサンドボックス化されたデータベースインスタンスを数秒でプロビジョニングし、本番のプライマリDBの性能低下を防ぐ。需要に応じて1,000以上のリーダーへ自動スケールし、タスク終了後はゼロまで縮退する。ベクトル検索・全文検索・空間検索を含むSQL全機能に対応し、現在プレビュー登録受付中。
- サンドボックス化されたDBインスタンスを数秒でプロビジョニングしプライマリDBから完全隔離、1,000以上のリーダーへ自動スケールしタスク終了後はゼロまで縮退
- ベクトル検索・全文検索・空間検索を含むSQL全機能に対応、単一のAlloyDBサービスとして提供され現在プレビュー登録受付中
Publickey
⏱ 3 min read
2026-09-29
Google Cloudは9月29日、Claude CodeやGoogle Antigravityなどのコーディングエージェントに自社サービスの専門知識を組み込む「Google Cloud Developer Plugin for AI Coding Agents」を発表した。公式スキル群とMCPサーバー設定をまとめてエージェントに導入でき、Agent Plugins 1.0.0仕様への対応により異なるエージェント間でも共通の設定を使い回せる。GitHubリポジトリから直接導入できる。
- GitHub上の公式スキル群とMCPサーバー設定を一括導入でき、Google Cloudサービスの組み合わせ方に関する知識不足を補う
- Agent Plugins 1.0.0仕様に対応し、Claude Code・Google Antigravityなど異なるエージェント間で設定を共通化
Publickey
⏱ 2 min read
2026-09-29
「NSL(NSpawn Subsystem for Linux)」は、WindowsのWSLがWindows上で提供する体験をLinuxホスト上で再現するツールとして公開された。1つの小さなVM内でsystemd-nspawnコンテナとして各ディストロを動かし、ホストユーザーの権限のまま実行されるためホスト側にパッケージを追加する必要がない。ホームディレクトリと`/mnt`は`/mnt/host`としてマシン内から参照でき、マシン内で立てたサーバーはホストの127.0.0.1の同じポートでそのままアクセスできる。
- Debian・Ubuntu・Fedora・CentOS Stream・Arch・openSUSE Tumbleweed/Leapなど7種の署名付きディストロに対応、ホストへの変更なしにユーザー権限で常駐
- ホームディレクトリと`/mnt`を`/mnt/host`としてマシン内から参照可能、マシン内サーバーはホストの127.0.0.1の同一ポートでポート転送なしに到達可能
GitHub (frostyard)
⏱ 2 min read
2026-09-29
▲ 74
複数の部分文字列を同時に検索するAho-Corasickオートマトンの構築手順を解説する記事。各ノードが根からのエッジ文字列を表すトライを土台に、マッチ失敗時の復帰先を示す「サフィックスリンク」で最長の一致プレフィックスへ飛び、あるパターンのサフィックスが別のパターンと一致する場合を扱う「アウトプットリンク」の連結リストで、マッチしたパターンとその末尾に含まれる短いパターンを同時に出力する仕組みを、トライから完全な決定性有限オートマトンへ変換する過程で示す。
- 根からのエッジ文字列を保持するトライを構築し、マッチ失敗時に最長の一致プレフィックスへ復帰する「サフィックスリンク」で状態遷移を補完
- あるパターンのサフィックスが別パターンと一致する場合に両方を出力する「アウトプットリンク」の連結リストを併用し、トライを完全な決定性有限オートマトンへ変換
compiler.club
⏱ 3 min read
2026-09-29
▲ 36
Tcl/Tkプロジェクトは9月29日、次期安定版に向けた開発版「Tcl/Tk 9.1.0」を公開した。Tcl側ではUnicode正規化を扱う`unicode`コマンド、マイクロ秒単位の単調時計を返す`timer`コマンド、リスト項目を選別する`lfilter`コマンドなどを追加し、C99数学関数もexpr内で使えるようになった。Tk側はスクリーンリーダー対応のアクセシビリティ機能と双方向テキスト・RTL言語への初期対応が加わった。
- Unicode正規化の`unicode`コマンド、マイクロ秒精度の単調時計を返す`timer`コマンド、リスト選別の`lfilter`コマンドを追加、C99数学関数もexpr内で利用可能に
- Tk側にスクリーンリーダー対応のアクセシビリティ機能と双方向テキスト・RTL言語の初期対応、`ttk::toggleswitch`ウィジェットを追加
Tcl/Tk
⏱ 2 min read
2026-09-29
▲ 229