見出し・要約・本文から、情報のつながりを探します。
arXiv:2610.31955v1 発表タイプ：新規 要旨：Anthropicによる最近の研究では、ジャコビアンレンズ（J-lens、Gurneeら、2026年）と呼ばれる新たな解釈可能性ツールが導入されました。この手法は、最先端の言語モデルの隠れ状態において、作業記憶に類似した表現を想起させる性質を持つ線形方向を特定しました。しかし、こうした特徴がJ-lensによって検出可能となるメカニズム的な特性については依然として不明です。そこで本研究では、J-lensの数学的理論を提案し、同理論が特に一貫性のある特徴――すなわち、空間的に一貫したリヤプノフモードのように機能する方向――を優先的に識別することを示します。これらの方向に沿った微小な摂動は層を跨いで増幅し、トークン位置間でほぼ一定に保たれ、異なる文脈間でも一貫しています。一方でw
arXiv:2610.34419v1 発表タイプ：新規 要旨：DAGベースのBFTプロトコルは、単一リーダーによる提案経路を、共有グラフで連結された並行なブロック提案へと置き換えることで、コンセンサス設計に大きな転換をもたらしました。このグラフでは、参照がコンセンサスの証拠を表現しています。しかし、異種の広域ネットワーク（WAN）下では、ストラグル効果により、既存の設計はラウンドの長時間化や性能の低下という問題に直面しています。その根本原因は、硬直的なラウンド進行にあります。すなわち、レプリカは同期的にラウンドを進め、前のラウンドからの十分な参照が揃うまで待機した後でようやく次へ進むのです。そこで私たちは、非同期BFTコンセンサス向けの柔軟なDAG成長フレームワークを提案します。私たちの重要な観察は、安全性和活性性のために参照クォーラムは必要であるものの、それがすべてのラウンド進行を阻害する必要はないということです。代わりに、接続性r
arXiv:2610.32101v1 発表タイプ：新規 要旨：大規模言語モデル（LLM）は、出力分布が既知の意味的なモードに集中する「モード崩壊」を示す。多様性が失われると、繰り返しサンプリングは発見ではなく意味的な反復となり、稀ではあるがより強力な解が表面化しにくくなるため、自己進化や継続的学習の維持が困難になる。ほとんどの対策は推論時のみに介入し、サンプルを調整するだけで、多様性をモデルの能力として組み込むことはできない。そこで私たちは、訓練時に多様性をモデル内部に内蔵するフレームワークであるPRISMを提案する。PRISMは、(i) 各プロンプトに対し、多様でありながら正解でもある複数の教師モデルによる解答を対応付けるサブモジュラー型キュレーションと、(ii) 特殊トークンの摂動を実行可能な形に変換する確率的埋め込み変調を組み合わせている。
arXiv:2610.33063v1 発表タイプ：新規 要旨：展開された視覚モデルは、確信度の高い予測を自動的に受け入れるため、高確信度の誤りが静かに拡散してしまう。標準的な故障予測手法である最大ソフトマックス確率（MSP）には構造上の盲点がある。すなわち、分類器ヘッドから読み取られるスカラー値として、その確信度勾配に直交する特徴空間の変動に対して一階的に無力である。特徴空間上の検出器に関する要因分析を通じて、それらがMSPを補完できない理由を説明する条件付き冗長性原理を明らかにする。すなわち、それらが測定するクラス間分離の幾何学的特性は、既にMSPに符号化されており、融合によって崩壊してしまうのだ。そこで生き残る信号は、マンフォールド外の残差に対するクラス条件付き典型性であり、さらにこの残差の分布はバックボーンによって異なり、ほぼ正規分布から重い裾尾まで多様である。
arXiv:2610.34521v1 発表タイプ：新規 要旨：主流のランタイム上のアクターフレームワークは、Erlang/OTPスタイルの監督を謳っていますが、OTPの整合性契約は同期的でシングルスレッドの監督者を前提としており、ポートもその前提の欠如を未検証のリスクとして引き継いでいます。私たちは、固定されたリビジョンにおけるさらに3つのRust製アクターフレームワークのソースと、文言通りに読んだOTPのドキュメントおよびソースコードを基に、各監督保証を評価し、それぞれの設計決定の裏付けとなる証拠を記録しました。盲目的な対抗審査とフレームワーク間の比較研究により、24種類の不具合クラスが浮き彫りになり、そのうち8つは単一の根本原因に帰着します。すなわち、同期的な監督者が暗黙的に得ているアトミック性を、明示的なメカニズムによって再構築している点です。私たちは、監督実行時環境を導入します…
arXiv:2610.33006v1 発表タイプ：新規 要旨：Transformerベースの大型言語モデル（LLMs）は、コンテキストサイズが増加するにつれて計算負荷とメモリ消費が大幅に増大するため、推論前にコンテキストをより短い表現に圧縮する手法が求められています。既存のソフトプロンプト圧縮手法は、通常、対象モデルと同じTransformerバックボーンを用いており、圧縮表現の生成には大きなレイテンシオーバーヘッドが生じます。このため、これらの手法は、コンテキストを一度圧縮して多数のクエリで再利用するオフライン環境に限定されています。私たちは、Mamba状態空間モデル（SSM）に基づくプラグアンドプレイ型のオンラインコンテキスト圧縮器「Boa Compressor」を提案します。これは任意長のコンテキストを単一の線形時間のパスで符号化し、その結果得られた表現を基に…
arXiv:2610.31981v1 発表タイプ：新規 要旨：最も単純な非ユークリッド多様体である1次元平坦トーラスにおいて、データ分布からサンプルを押し離す速度場によって、リーマン幾何学的フローマッチングの最近提案された拡張手法が全局的に最適化される分布を示す。我々は、この失敗モードを「互換性」と呼ぶ性質に起因すると指摘する。尤度に基づくフローマッチング目的関数が互換的であるとは、その母集団最小化解がデータと結合によって誘導される周辺速度場を再現する場合をいう。我々は互換性に関する一般条件を提示し、それを既存の手法に適用した上で、互換性のもとで消滅する残差成分の観点から最悪ケースの誤差を評価する。さらに、既存の互換性を満たす目的関数は、コンパクト多様体上では実現不可能な速度に密度を付与してしまうことを指摘する。
arXiv:2610.33027v1 発表タイプ：新規 要旨：次トークン予測（NTP）は、次の出現するトークンのみに報酬を与え、他のすべての代替案にはペナルティを課す。しかし、自然言語ではしばしば同じ意味を表現する多様な方法が存在する。そこで我々は、意味に対する報酬を追加することで次トークン予測を拡張する学習フレームワークであるConceptizerを提案する。Conceptizerは、文脈に基づく同義語から構築された約9,000語の概念というモデル非依存の固定語彙を、テキストの単位であるトークンと並行して意味の単位として用いる。各次トークン分布を概念分布へと対応付け、目的とする意味に対する報酬をその可能な表現形式全体に分配する。これにより、モデルのパラメータを増やさずに概念レベルの学習信号を提供できる。10億～80億パラメータ規模の3つのモデルファミリーに対して適用した結果、ConceptizerはホールドアウトNTPのperplexityにおいて最も低い値を達成した。
arXiv:2610.33001v1 発表タイプ：新規 要旨：学術的な改稿は、正当な執筆上の目的が衝突する場合、ガバナンス上の問題を生じさせる。執筆プロセスおよび社会科学の研究は、改稿が再帰的であり、文言には認識論的・学問分野固有の約束が伴うことを示している。これらの文献は重要な制約を特定しているものの、簡潔さや掲載媒体の形式、文体の多様性が証拠や主張の境界と対立する際に、どの目的を優先すべきかについては明確にしていない。本論文では、改稿を順序付けられた制約下での許容可能性の問題としてモデル化する。タスクに依存する不変量、文脈上の制約、そして変更可能な表現選択が許容可能な領域を定義し、証拠と判断を認可された主張の境界に結び付ける主張保持契約が設定される。さらに、四つのガバナンスに関する命題が具体化される。
arXiv:2610.32104v1 発表タイプ：新規 要旨：トランスフォーマー アーキテクチャの能力と限界を特徴付けるため、複数の形式理論が提案されており、それぞれがアーキテクチャの異なる側面を捉えるために異なる抽象化手法を用いている。これらの理論は、その基礎となる仮定や概念的枠組みに違いがあるため、トランスフォーマーにとってどのタスクが容易でどのタスクが困難かという予測において一致しないことがある。本研究では、トランスフォーマーの能力に関する7つの理論（Star-free、$\mathsf{AC}^0$、$\mathsf{TC}^0$、C-RASP、MPC、BAPO、および Sensitivity）を整理し、それらの結果を、異なる計算構造を網羅する一連のタスクに対する共通の予測マトリックスへと変換した。さらに、このマトリックスを完成させるための新たな理論的成果を提示する。その後、理論的な評価を行った
長年にわたる数学の未解決問題の解法を含む数百件の原稿を一斉に公開してからわずか1か月も経たないうちに、OpenAIは数学、計算機科学、物理学におけるさらに3つの「重要な」発見を発表しました。今回異なっている点は、結果を指導するため、OpenAIが「羊飼い」と表現する外部の専門家を起用したことです[…]
arXiv:2610.31833v1 Announce Type: new Abstract: LawZero's Scientist AI trains a Predictor toward the Bayesian posterior, with an objective that penalizes inconsistent probabilities among latent explanations. We ask whether current frontier language models, with no such training, are already consistent in this sense zero-shot: do their probability judgments satisfy the law of total probability, $P(X)=\sum_z P(z)P(X|z)$, when the latent $z$ must be inferred from records in the context? In separate single-turn calls, models are asked for $P(X)$, for $P(z)$ over the latent's states, and for $P(X|z)$; a causal family applies the same test to $P(y|do(x))$ and the back-door adjustment. Every query has an exact ground-truth probability, and a subset of items is asked in three wordings to separate
翻訳待ち・原文を表示中 · enarXiv:2610.32583v1 発表タイプ：クロス 要旨：マルチエージェント確定的GLP（madGLP）は、非同期メッセージ送信のみで通信するエージェントとしてグラスルーツ・ロジック・プログラム（GLP）を実行し、公平な配信を前提としています。すなわち、送信されたすべてのメッセージは最終的に必ず配信されます。各エージェントは個人のスマートフォン上で動作し、その識別子は当該ユーザーの公開鍵によって指定されます。グラスルーツ型プラットフォームは、ネットワーク以外にグローバルなリソースを必要としないため、エージェント間の通信はBluetooth Low Energyやローカルネットワーク、さらにはNAT越しのインターネット経由で、誰でも運用可能なランデブーサーバーを通じて行われなければなりません。このようなネットワークに対してmadGLPが何を要求し、またネットワークがプラットフォームに対して何を要求するかについては、これまで明示されていませんでした。そこで、本研究ではmadGLPの下層に位置するネットワーキング層を明確に定義します。GLPで実現可能なことはすべてGLPで実現されるため、この層はあくまで…
arXiv:2610.31810v1 発表タイプ：新規 要旨：入念に校正された論文であっても、証明や明示された仮定に小さな抜け穴が残ることがあります。私たちはPaperFormalizerを提案します。これはLeanベースのエージェント型パイプラインで、著者が自らの論文におけるこうした隙間を見つけ出し、埋めるのを支援し、各論文をLeanによって検証済みのバージョンへと変換します。LaTeXソースから出発し、PaperFormalizerは論文を命題の依存関係グラフに変換し、各命題について自然言語による忠実性・曖昧さ・正確性を審査した後、Mathlibや任意のドメインライブラリ、さらに著者の個人的なツールキットを参照して、命題を形式化し、Lean上で証明を行います。ある命題が何を意図しているのか、また結果における形式化上のギャップをどのように解消するのが最善かを知るのは、あくまで著者だけです。そのため、このパイプラインはそこで一時停止し、著者に問いかけます…
arXiv:2610.32803v1 Announce Type: new Abstract: The consensus protocols of most high-performance blockchains use quorum certificates, which bundle the signatures of a quorum of validators. Signature schemes such as BLS can aggregate the signatures of a whole quorum into a single short signature, which keeps these certificates small. A large-scale quantum computer would break these schemes, and no post-quantum scheme with comparable aggregate size and aggregation time is known. Without aggregation, a certificate holds one large post-quantum signature per member of the quorum, so it becomes infeasible for each validator to broadcast certificates, as modern consensus protocols often require. We present Quantum Cadence, a post-quantum consensus protocol with multiple concurrent proposers that
翻訳待ち・原文を表示中 · en我々は、対象者の少量の入力画像と駆動用の表情信号から3Dヒューマンヘッドをリアルタイムでアニメーション化する手法であるGHARP（Real-time Gaussian Head Animation from Large-scale Reconstruction Prior）を提案する。本手法では、問題を二段階に分離し、オフラインで対象者の幾何学的形状と外観の表現を構築するアイデンティティ段階と、ランタイムにその上に表情依存の残差を予測するアニメーション段階に分割する。この分離により、忠実度、品質、実行時間の間で望ましいトレードオフが実現される：アイデンティティ段階は計算コストが高くなる一方で、アニメーション段階は…
スタンフォード大学とカリフォルニア大学バークレー校の研究者らは、既存の大規模言語モデル（LLM）に適用可能なプラグアンドプレイ型の学習ベースのトークン剪枝モジュール「TokenGate」を提案しました。この手法は、精度を損なうことなく、長文コンテキストに対する初期文字生成時間（TTFT）を1.4倍から11.3倍に加速し、ピークメモリ使用量を1.5倍から3.4倍削減します。関連コードおよびチェックポイントはオープンソースとして公開されています。
2024年にGoogleはAIオーバービューを導入し、2025年5月にはAIモードを開始したことで、複数の主要メディアにおけるGoogleからの検索トラフィックが顕著に減少した——『ニューヨーク・タイムズ』では、3年間で検索トラフィックの割合が44％から35.5％へ低下し、DCN加盟の19社のうち2025年5～6月には1％～25％のトラフィック減を経験した。DMG Mediaによれば、クリック率は最大で89％も低下したという。出版社らは複数の訴訟を提起したが、いずれも米国の裁判官によって却下された。その後、Googleは退会オプションの提供や情報源表示の強化に加え、400社のメディアを対象としたニュースAIパイロットおよびコンテンツ有料化のテストプログラムを開始した。
注目する理由：同報道は、GoogleのAI検索機能が出版エコシステムに与える構造的な衝撃を体系的に整理しており、タイムライン（2024年～2025年）、実証データ（第三者機関による統計）、多方面からの反応（出版社、規制当局、裁判所、非営利団体）および最新の対応策（撤退メカニズム、情報源の最適化、ライセンスおよび有料化のパイロットプロジェクト）を網羅しています。情報は密度が高く、時事性と政策的関連性も備えています。
2026年10月24日、arXivは論文arXiv:2610.31098v1を公開し、RIFT——推測デコードにおけるドラフトモデル（drafter）向けの動的KVキャッシュ圧縮手法——を提案しました。この手法は、事前埋め込み情報と新規生成トークンのバランスを取るとともに、圧縮可能性を考慮した訓練を組み合わせることで、8KトークンのKVキャッシュ予算のもと、Qwen3.5-4BのドラフトモデルがQwen3.5-122Bに対して長文コンテキスト生成を実行する際に、全キャッシュの受け入れ可能な長さを98％超に維持することを可能にします。
注目する理由：本研究は、長文出力生成においてKVキャッシュの膨張がもたらすハードウェアコストの増大と精度低下という矛盾に正面から取り組み、『デコードの陳腐化』（decode staleness）現象を初めて明確に定義・定量化するとともに、実装可能な更新メカニズムと学習との協調手法を提案している。実験条件は具体的で（入力32K／出力4K／キャッシュ8K）、得られた結果は工学的な参考価値が高い。出典はarXivのプレプリントであり、公開日時（2026年10月24日）はシステムの現在日付（2026年10月25日）と一致しており、高いタイムリー性を有している。
2026年10月24日付でarXivに掲載された（番号2610.30983v1）AI研究論文では、推論時の文脈強化手法5種類を体系的に評価し、報告された精度向上が必ずしも実際の能力向上を反映しているわけではなく、むしろ無方向性の擾乱によるものである可能性があることを明らかにした——すなわち、一部の予測は修正される一方で、他の予測は損なわれるという結果である。
注目する理由：本論文は、手法・モデル・データセットを横断する統一的な評価フレームワークを初めて構築し、性能向上のみに依存すると信頼性の欠陥が隠されやすいことを指摘しています。特に、フィラートークン型の手法（新たな情報を導入しない手法）は、意思決定境界付近の予測を主に乱すため、実際の運用への直接適用には適さないことを警鐘しています。
