DevPick

MicrosoftがWindowsをエージェント型AIの実行環境として最適化し、新ソリューションと新型Surfaceを発表した

• •Microsoft CEOのサティア・ナデラ氏が、Windowsがエージェント型AIにとって最高の実行環境になると打ち出した
• •米国時間10月7日にサンフランシスコで開催されたイベントで、新たなAI向けソリューション「Hybrid Intelligence」が発表された
• •RTX Sparkを搭載した新型ノートPC「Surface Laptop Ultra」も正式に発表された

Claude Codeを活用することで、これまで存在が知られていなかった惑星を発見した可能性があると主張する記事

OpenAIがGitHubの数学リポジトリを更新し、6つの新しいLean形式化、19件の修正、3件の取り下げを実施した

• •リポジトリには6つの新しいLean形式化と19件の修正が追加された
• •3つの数学的結果が取り下げられた
• •トップラインの結果の約42%が形式化済みとなった

Amazon S3 Vectorsがメタデータの事前フィルタリング機能を追加し、検索の再現率向上を実現した

OpenAIがChatGPTに新モデルGPT-6 Sol/Lunaと、図表や思考プロセスを表示するUI機能を追加した

• •OpenAIは2026年10月7日、ChatGPTのChatタブにGPT-6 Sol／Lunaと新機能「Intelligent UI」の提供を開始した
• •GPT-6 Sol／Lunaは日常的な会話向けに調整されたモデルである
• •Intelligent UIにより、図やグラフを交えた回答や、思考の途中から回答を表示する機能が利用可能になった

MicrosoftがAIエージェントを安全に実行するためのポリシー駆動型コンテナ「MXC」の一般提供を開始した

• •Microsoftは2026年10月7日、AIエージェント向けポリシー駆動型コンテナ「Microsoft Execution Containers」（MXC）の一般提供を開始した
• •MXCはWindows、Linux、macOSに対応しており、AIエージェントをサンドボックス環境で安全に実行できる
• •この機能はAIエージェントの動作を制御し、セキュリティリスクを低減することを目的としている

NVIDIA RTX Spark搭載PCの予約開始に合わせて、ローカルとクラウドのAIを組み合わせるハイブリッドインテリジェンス基盤と新モデルを発表

• •クラウド依存だったAI処理を、手元のPCでのローカル実行と組み合わせる「二刀流」のハイブリッドインテリジェンスを目指す
• •対応するNVIDIA RTX Spark搭載PCは、Surface Laptop UltraやASUS、Dell、HP、Lenovo、MSI製から登場する
• •RTX Spark搭載PCの出荷は10月16日に開始される予定である

中堅・中小企業や部門向けの「Dify Essential/Standard」ライセンス利用者を対象に、環境構築や導入を支援するサービスを開始した

• •対象となるのは、中堅・中小企業や部門向けに提供される「Dify Essential/Standard」ライセンスの利用企業である
• •「Dify Essential環境構築・導入サービス」と「Dify Standard環境構築・導入サービス」の2種類を提供開始した
• •生成AIアプリケーション開発基盤「Dify」の導入を支援するリコージャパンのサービスである

GitHub Copilotの利用状況メトリクスにおいて、AIエージェントによる活動が正しく計上されず少なく表示される問題を修正した

OpenAIの数学モデル「Math 1.0」の課題を指摘し、単なる問題解決から説明やコミュニティ構築など数学的進歩の多面的な評価へ移行する「Math 2.0」の必要性を論じる

• •「Math 1.0」は未解決問題の解決速度を重視したが、その最適化は持続不可能な段階に至ったと指摘されている
• •「Math 2.0」では、生きた問題解決の役割を相対的に減らし、説明（exposition）やコミュニティ構築、新研究分野の開拓を重視すべきだと提言している
• •AIはこれらの多面的な数学的進歩のいずれにおいてもポジティブに貢献できると信じている