AI ニュースを検索

ケビン・ルースはAGIに取り憑かれている。あなたはどうしてそうならないのだろうか？

今日は、AI業界の最近の劇的な変革を詳述した新刊『The AGI Chronicles』の著者でジャーナリストのケビン・ルースとお話しします。ケビンは長年ニューヨーク・タイムズの記者を務め、人気ポッドキャスト「Hard Fork」のホストでもありました。しかし彼と、同番組の友人であるケイシー・ニュートンは、先日[…]を去りました。

PaperFormalizer：研究論文のLeanによる自動形式化——著者主導型プロセス

arXiv:2610.31810v1 発表タイプ：新規 要旨：入念に校正された論文であっても、証明や明示された仮定に小さな抜けが残ることがあります。私たちはPaperFormalizerを提案します。これはLeanベースのエージェント型パイプラインで、著者が自らの論文におけるこうした隙間を見つけ出し、埋めることを支援し、各論文をLeanで検証済みのバージョンへと変換します。LaTeXソースから出発し、PaperFormalizerは論文を命題の依存関係グラフへと変換し、各命題について自然言語でその忠実性・曖昧さ・正確性を審査した後、Mathlibや任意の分野固有ライブラリ、さらには著者の個人的なツールキットと照らし合わせて、Lean上で形式化および証明を行います。ある命題が何を意図しているのか、また結果における形式化上のギャップをどのように修正するのが最適かを知るのは、あくまで著者だけです。そのため、このパイプラインは一時停止し、著者に問いかけるのです。

マイクロソフトがAgenshをオープンソース化：1024個の自律協調型AIコーディングエージェントをサポートする分散型フレームワーク

マイクロソフト研究院は2026年10月25日、中央調整者を必要としないマルチエージェント実行時フレームワークであるAgenshをオープンソース化しました。Agenshは、ProgramBench上で1～1024のLLMベースのコーディングエージェントが自己組織的に協調して動作することを支援します。システムはGitea、Mattermost、DeLMスタイルの共有ボードに基づいて分散型の調整を実現しており、すべてのエージェントが同一のプロンプト駆動型五段階ループを実行します。また、Linux＋Docker環境下でスケーラビリティが検証されています。

注目する理由：この成果は、マルチエージェントシステムアーキテクチャの重要な進化を示しており、従来の「マスターエージェント」型パラダイムを廃し、プロンプトエンジニアリングと軽量なサービスの組み合わせによって大規模な自己組織化を実現しています。ProgramBenchにおける実証データ（たとえば、128個のエージェントによる5つのタスクの均等分配において49％の性能向上）は、分散型AIの設計・実装に新たなベンチマークを提供しています。また、MITライセンスでオープンソース化されており、Copilot CLIなどの主流な単一エージェントツールとも互換性があるため、実際の開発における参考価値も備えています。

AnthropicがOSレベルのサンドボックスであるsandbox-runtimeをオープンソース化：AIエージェントにコンテナレスなファイルおよびネットワーク隔離を提供

Anthropicは2026年10月24日、AIエージェント、MCPサーバー、CLIツールのファイル読み書きおよびネットワークアクセス権を制限するための、コンテナに依存しないOSレベルのサンドボックスツールであるsandbox-runtime（srt）をオープンソース化しました。macOS（Seatbelt）、Linux（bubblewrap）、Windows（alpha）をサポートしており、npmパッケージのバージョンはv0.0.81で、ライセンスはApache-2.0です。

注目する理由：このツールは、AIセキュリティインフラストラクチャの重要な進化を示しています。OSのネイティブな隔離メカニズムにより、細粒度でプロセスツリー全体を網羅するサンドボックス制御を実現し、プロンプトインジェクションや権限の過剰付与といったリスクに正面から対処しています。また、Claude Code内部での使用においてもその効果が検証されています。

Amazon SageMaker AIが、GPU不要の管理型モデルカスタマイズトレーニングセッションを提供開始し、正式に全面利用可能になりました

AWSは、SageMaker AIのサーバーレス型モデルカスタマイズ機能に「トレーニングセッション」を追加し、本日より全面的に利用可能になったと発表しました。ユーザーは、カスタム損失関数や報酬信号、マルチラウンド強化学習など、トレーニング後のロジックを独自に記述できます。一方で、GPUの割り当て、分散実行、フォールトトレランスによる復旧、チェックポイントの保存はすべてプラットフォームが自動で処理します。

Claude Mods：注意力インターフェースの初の実践、人間がプログラミング可能なエージェントインタラクション層

Claude Mods は、Anthropic が提供する Claude Code のプログラマブルなプラグインシステムで、『Attention Interface』の初期形態を示しています。これは、従来の機械向けエージェント実行時フレームワーク（agent harness）から、人間の注意力に焦点を当てたカスタマイズ可能なインタラクション層へと転換したものです。ユーザーは TypeScript や JS を用いて Mods を作成したり、自然言語で Claude に自動生成を指示したりすることで、いつ中断されるか、どのような内容を閲覧するか、どのような意思決定を行うかを自在に制御できます。

Claude Mods：プログラマブルな注意機構インターフェースにより、人間とAIエージェントの協働パラダイムを再定義

Claude Mods は、Anthropic が提供する開発者向けのプログラマブルなプラグインシステムであり、エージェントハーネスがマシン側のインターフェースから人間側のインターフェース――すなわち「アテンション・インターフェース」（Attention Interface）――へと移行したことを示しています。これにより、ユーザーは TypeScript／JavaScript を用いて Claude Code の動作やレンダリング、インタラクションロジックをカスタマイズし、人間とAIが共同でワークフローを設計できるようになります。この仕組みは、You Should Know などの組み込み機能にもすでに活用されており、ユーザーによる独自の構築や、Claude の支援によるプラグインの生成もサポートしています。

トークンマキシマイズとコーディングコストの崩壊

2人の開発者がAIコーディングエージェントを用いて、Claude Codeのコアアーキテクチャをわずか数時間で再構築し、従来のソフトウェア開発の経済性に挑戦しました。

アディ・オスマニ、モーガン・ウェストリー・ラント、およびチン・ワンの引用

「この変更で何が問題になる可能性があり、それを捉えるのに適切なチェックは自動化されたものか人間によるものか？」という問いは、「コードを人間が読んだのか？」という曖昧な指標とは異なると考えています。その質問の意味も、レビューの実施タイミングによって変わります。以前は、レビューは道の終わりにあるゲートのようなものでした。コードを書き、プルリクエストを開き、同僚の対応を待つだけです。しかし今では、レビューは継続的に進行し、まるで入力中のスペルチェックのような形になっています。多くの変更は、人間が確認する前に少なくとも一度はClaudeによってレビューされ、修正されています。これにより、日常的なミスの多くが事前に発見され、チームの注意力はより高度な課題や厳密な検証に集中できるようになります。— アディ・オスマニ、モーガン・ウェストリー・ラント、およびチン・ワン著『Claude Codeチームのコードレビューの進め方』 タグ：アンソロピック、Claude、AI、Claude-Code、LLMs、アディ・オスマニ、コーディングエージェント、生成AI、エージェンティックエンジニアリング

sparqlite：Rustで書かれた、SQLite内部のSPARQL 1.1

研究：sparqlite：Rustで書かれた、SQLite内部のSPARQL 1.1 この研究課題は、Claude Codeドキュメントの「動的ワークフローによるサブエージェントの大規模オーケストレーション」に記載されている通り、Web向けClaude Codeを「Ultracode」モードで実行する実験そのものです。Ultracodeが有効な場合、Claude Codeは動的ワークフローを積極的に活用し、複雑な問題に対処するためにサブエージェントのネットワークを定義・調整するJavaScriptを生成します。私の初期のプロンプトは次のとおりでした。「行を直接操作する」という意味で、「delete」という単語は私の携帯での誤字です。RustでSPARQLを組み込み、削除対象の行を直接操作できるため非常に高速に動作するSQLite拡張機能を書いてください。これにより、Web向けClaude Codeは12時間以上も処理を続けました。翌日、進捗状況を確認し、さらに一通のメールを送信しました。

Chirp Pong

ツール：Chirp Pong また別のゲーム実験です。静的HTML上で動作する、マイクを通じて送信されるチープ音を利用するネットワークコードを用いた、2台の別々のスマートフォンでプレイできる2人対戦ゲームが実現可能かどうか試してみました。どうやらうまくいっているようです！ 2人のプレイヤーが互いに近くに置いたスマートフォンを使い、ウェブマイクAPIが解釈可能な音響信号によってゲーム状態をやり取りする、競技的なポンゲーム風のゲームを構築します。ただし、グラフィックやゲームプレイに工夫を加え、ポング・クロード・オーパス5.5エクストラよりもはるかに楽しく、より複雑に絡み合うものに仕上げます。タグ：ゲームデザイン、AI、生成AI、LLMs、Claude Code

LaTeXレンダラー

ツール：LaTeXレンダラー ポール・フォードとAboard Foundaryの新しいウェブアプリ「Tiny Little Office」に着想を得て、同アプリは一連のウェブアプリコンテンツエディター（ワープロ、アウトライン作成ツール、プレゼンテーション作成ツール、スプレッドシート、電卓、描画ツール、ダイアグラム作成ツール、アニメーション作成ツール、カレンダー、旅行計画ツール）を提供しています。Tiny Little Officeの特徴的な仕組みは、文書データをすべてURLの#fragmentセクションに保存することで、これにより同アプリで作成されたあらゆる文書がブックマーク可能かつ共有可能なリンクとなる点です。また、llms.txtファイルを備えており、エージェントに対して文書として表示されるURLの構築方法を指示しています。Claudeはそのファイルを用いて、URL形式の仕組みを説明するスライドデッキへのリンクを生成しました。Tiny Little Officeの影響を受け、Claude Code（Opus 5.5 Extra）にも同様のLaTeX対応ツールの構築を依頼しました。以下はその手順です。