AI Insights

「この条件なら落ちない」をAIが証明。123のソフト部品で検証

AnthropicとTheoremは、Claudeで123の公開ライブラリの239の入口について、条件内の入力で異常終了しないことを証明したと報告。対象は特定の実行環境と64MB未満の入力で、ソフト全体に不具合がないという保証ではない。

相談から資料づくりまで一つの会話で。企業版Claudeが統合

Claude EnterpriseでチャットとCoworkを一体化し、一般提供を開始。ファイル操作などが必要になるとクラウドで作業を続け、端末を閉じた後も進められる。

Claudeの新機能を初日から。Google Cloudに全機能の提供窓口

Anthropic管理のClaude PlatformがGoogle Cloudで一般提供に。Googleの認証・請求を使いながら、Claudeの新機能やベータを本体と同日に利用できる。

ChatGPTのデータを速く届ける。OpenAIが保存基盤の設計を公開

OpenAIが、複数製品で共用する保存基盤Habitatの改良を解説。負荷の高い処理を制限し、利用者に近い場所へデータを置くことで、他の利用者への影響と待ち時間を抑える。

AIの訓練を外部ネットから隔離。OpenAIが新しい防御を報告

学習・評価用の環境に複数の防御層を設け、AI自身を使って突破できる箇所を点検。修正と評価を経て10月1日に訓練を再開したと説明しており、一般利用者のChatGPT環境とは区別する。

どこから使っても共通の基準へ。OpenAIが提供先の方針を説明

OpenAIは、他社経由で提供するモデルにも一貫した安全基準を適用するため、顧客・提携先との調整を進めていると説明。開発者が要件を理解しやすいよう、利用方針も更新する。

音程のずれが見える歌の練習アプリ。Claude Codeで作ったOnKey

開発者がClaude Codeを使って作ったMac向けアプリを公開。再生中の曲を一度解析し、自分の歌声と音程を見比べられる。本人の制作紹介にはHacker Newsで196ポイント・83コメントが集まった。

AIに資料を全部読ませない。LangChainが検索の組み立て方を公開

Deep Agentsで、必要な行を探してから読む方法や、大きな検索結果をファイルへ退避する方法を解説。競合調査を例に、追加検索と根拠の照合を組み込む手順を示した。

コードの変更案をチャットでたどる。Visual StudioのCopilot更新を紹介

GitHubがVisual Studio向けの9月更新を10月22日に紹介。変更案の要約から元のコメントやファイルへ移動する機能、外部モデルの利用、依存パッケージの問題修正を取り上げた。

簡単なゲーム画面を、動く風景へ。EdenLiveを公開

Tripoの研究チームが、元映像の配置や動きに沿って映像を生成するモデルとコードを公開。ゲームの簡易表示や実写を参照でき、5B版は単一RTX 5090でリアルタイム動作に対応すると説明する。

日本語の指示や写真から動画へ。国内基盤のai& videoが開始

エーアイ・アンドが、文章・写真・既存動画から映像を作るサービスを開始。ブラウザとAPIに対応し、企業が権利を持つ素材を使った専用モデルの追加学習も提供する。

Seedance 2.5を制作ツールにつなぐ。RunwayがAPI利用ガイド

Runwayが、複数場面と音声を生成できるSeedance 2.5の入力、料金、実装方法を解説。10月19日公開の利用ガイドであり、モデルやAPI自体の新規公開ではない。

好きな曲がゲームの展開に反応。UMGがTYGERと契約

UMGが、AIでゲーム中の音楽を変化させるTYGERへ楽曲を提供する契約を発表。選ばれた音源を有料サービスなどへ順次加える予定で、全カタログの提供開始ではない。

匿名モデルSpace Bunnyの正体はMiniMax。M3.1 Flashを提供

MiniMaxが、試験提供されていたSpace BunnyをM3.1 Flashの初期版と公表。APIや開発ツールで提供を開始し、Redditでは試用時の使い心地をめぐる議論が続いている。

速い返答を会話や検索へ。InceptionがMercury 3を公開

文章をまとめて生成する拡散方式のモデルを大型化し、APIなどで提供。音声対応や学習支援での利用例を紹介しており、毎秒1,000超のトークン生成という速度は同社の測定値だ。

候補と「選ぶ理由」を一緒に育てる。Sakana AIの推薦研究

QD-Recは、過去の良い提案を参考に、新しい候補と理由の組を探す手法。企業買収・顧客・論文の推薦実験で、質と切り口の幅を両立する提案集づくりを検証した。

社内の言葉と判断基準をAIへ。Sakana Aquariumを発表

文書・データ・ルールの意味と関係をそろえ、その上でAIを動かす企業向け基盤。既存の保存先をつなぎ、権限や承認、判断から実行までの記録をまとめて管理する。

社内で作ったAIの手順、どれが使われた？ Copilotの集計を拡充

Copilotの利用統計APIが、自作スキルや外部接続の名前を個別に表示。集計内の項目数も最大25へ増やし、社内で用意した機能の利用傾向を把握しやすくする。

Copilotの新機能、会社の共通設定で管理。既存の個別設定は維持

GitHubが、未設定の対象機能に企業・組織の既定方針を適用する処理を10月26日まで順次展開。個別に有効・無効を決めた設定は維持し、プレビューは引き続き任意参加となる。