出典・テーマ・日時から、気になるニュースを見つけられます。
Google DeepMind released Genie 4, a world model with real-time audio, more realistic simulations, and mid-simulation text prompts, in research preview for trusted testers.
翻訳待ち・原文を表示中 · en
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が「羊飼い」と表現する外部の専門家を起用したことです[…]
2026年10月26日、新エネルギー産業チェーンの有料投研レポート作成者である陳万は、2年間にわたり維持管理してきたcleaner.py（ウェブページクリーニングスクリプト）およびsites.yaml（387件の情報源URLリスト）を削除し、テンセントクラウドがアップグレードした元宝検索API（SearchPro）へ正式に接続しました。テスト結果によれば、同APIは構造化要約、時効性の識別、権威ある情報源の区分（VRカード）、ならびに多次元検索パラメータのサポートにおいて、従来のソリューションを大きく上回り、人手による情報源の保守作業時間を深い研究へと振り向けることを支援しています。
注目する理由：本資料は、2026年10月26日にInfoQが公開した実地の技術実践レポートに基づいており、開発者の実際のワークフローの進化を包括的に示しています。具体的には、ウェブページの解析ルールや情報源のホワイトリストを手動で維持管理する段階から、専用のネットワーク検索APIを活用して自動化・検証可能かつ時効保証のある情報取得へと移行する過程を追跡しています。イベントの日時は明確に記載されており（publishedAt: 2026-10-26T14:57:35Z）、主体も明確で（陳万）、実施されたアクションも具体的です（2つのファイルの削除＋SearchProへの接続）。さらに、その効果も検証可能であり（カバレッジ率の目標達成、追加質問の減少、681msでの自動呼び出し）、技術的な詳細（パラメータ、課金体系、MCPプロトコルのバージョンなど）はすべて原文に厳密に由来しており、外部からの推測や虚構は一切含まれていません。
arXiv:2610.32109v1 発表タイプ：新規 要旨：言語モデルは、与えられた文書または自身のパラメトリックな知識に基づいて質問に回答することができる。では、後になってその回答がどこから来たのかを問われた際、その出所報告を決定するのは何だろうか。私たちは、回答が生成された後で、出所の質問が提示される前にモデルのキーバリュー（KV）キャッシュに介入することで、この問題を検討した。4つのモデル（7B～32B）を用いた制御された事実関連タスクにおいて、文書のキャッシュを変更したり削除したりしても、出所報告には一切影響しなかった。一方で、同一の質問と回答トークンを用いた複数の実行間で質問と回答のキャッシュを移植すると、その情報が引き継がれることが明らかになった。すなわち、適格なすべての出所報告がドナー側のものを踏襲し、受容側の文書内容は変化しない。なお、規模の小さい2つのモデルでは、出所の質問が提示される前に学習された方向に沿ってQ&Aの値を操作することで…
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上で証明を行います。ある命題が何を意図しているのか、また結果における形式化上のギャップをどのように解消するのが最善かを知るのは、あくまで著者だけです。そのため、このパイプラインはそこで一時停止し、著者に問いかけます…
同論文は2026年10月26日、arXivに掲載され（ID: 2610.31686）、Qwen3.5-27Bモデルを基に、時間依存型または権限による資格判定を要するツールの利用タスクにおいて、活性化介入が「条件の再利用」能力に与える影響を体系的に検証した。実験の結果、介入は目標選択の正確性を顕著に向上させる一方で、事実と識別子の再構成シナリオでは一般化が失敗し、候補者の資格に関する独立した判断の改善には至らないことが示された。
注目する理由：本研究は、『目標選択の制御』『条件に対する敏感な判断』『完全な動作の正しさ』という三つの能力を初めて明確に区別し、出力結果のみを最適化するだけでは、モデルが介入によって設定された条件（例えば時間や権限）を真に理解し再利用できるとは限らないことを示した。これは、信頼性の高いツールの呼び出しや制御可能なAIシステムの設計において、方法論的な警鐘となる重要な知見である。
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
翻訳待ち・原文を表示中 · enarXiv:2610.31874v1 発表タイプ：新規 要旨：計算機によるフレーミング分析は、大規模なアノテーション付きコーパスと事前に定義されたフレーム分類体系を必要とする教師あり分類器が主流であり、その結果、非英語言語や新たな出来事、リソースが限られた環境での利用には制約がある。本論文では、ニュースのフレーミング検出において、アノテーション不要で教師なしの枠組みとして、アソシエーションルールマイニング（ARM）を提案する。各文書または文を語彙項目のトランザクションとして扱い、高リフトの共起ルールを候補となるフレーミング信号（ガンソンおよびモディリアーニの凝縮記号）とみなして、ジャーナリスト兼研究者による文脈上の確認によって確定する。主要な検証対象は「Framing Gaza」であり、ガザ戦争の初年度（10月〜…）にわたる米国、英国、フランス、ドイツの16媒体から収集した英語記事25,512件である。
