Muse Spark 1.1:Metaが3か月でインテリジェンス指数を8ポイント向上 2026-07-13 17:37 UTC+9 MetaのMuse Spark 1.1は、Artificial Analysis Intelligence Indexで51点を獲得し、3か月前の1.0版から8点上昇しました。科学推論、コーディング、知識分野での進歩が顕著で、エージェント型知識作業も大幅に改善されましたが、最先端モデルにはまだ及びません。トークン効率が高く、実行コストも低いモデルです。
Muse Spark 1.1のインテリジェンス指数スコアは51で、GLM-5.2、GPT-5.4などと同等、Grok 4.5やClaude Fable 5に次ぐ。 コーディングとエージェント型知識作業での改善が最大で、SciCodeで第3位、GDPval-AA v2のEloが232上昇。 「AIスロップ」というフィードバックは、批評する側の人間性を映し出す 2026-07-13 15:06 UTC+9 「AIスロップ」という批判の言葉は、批評する側の方がより多くを明かしている。著者はその言葉の曖昧さ、実用的なフィードバックの欠如を探り、作り手は自分の信念と目的を熟考すべきだとアドバイスする。
「AIスロップ」という言葉は曖昧で、多くの場合、批評者のフラストレーションを反映している。 そのようなフィードバックは作り手にとって実行可能な情報をほとんど提供しない。 自分で考えよう 2026-07-13 14:31 UTC+9 本稿は、人工知能が執筆と思考のプロセスに与える影響を考察する。著者は自身の経験と文学上の引用を通じて、人間の執筆に不可欠な間、葛藤、ひらめきを強調し、AIが効率化のためにこれらの「空白」を消そうとする傾向を批判し、それが人間の認知の萎縮につながると警告する。
AIは人間の執筆における自然な間、反省、ひらめきのプロセスを侵食している。 エリオット、ビショップ、ディキンソンなどの詩人たちは、執筆における「空白」が創造性に不可欠であることを示している。 「AI到来後、品質は指数関数的に低下」:専門家の流出が加速 2026-07-13 13:59 UTC+9 研究によると、ChatGPTのような生成AIがStack Overflowなどのプラットフォームから高品質な専門家の貢献者を追い出している。彼らは自分の専門知識が評価されなくなったと感じている。この傾向は教室やオフィス、研究コミュニティにまで広がり、「知識のリセット」を引き起こす可能性がある。
Stack Overflowの月間質問数はChatGPT登場以来76%減少。 専門家はAIが同様の解決策をより速く提供するため報われないと感じる。 GenVid2Robot: 剛体幾何的一貫性を介した動画生成からロボット操作へ 2026-07-13 13:00 UTC+9 GenVid2Robotは、生成された動画の動きを実行可能なロボット操作軌道に変換する剛体幾何的一貫性フレームワークを提案する。実RGB-D最初のフレームからタスク関連の意味的アンカーをサンプリングし、生成動画内で追跡、スパースな相対SE(3)モデルで幾何的一貫性を検証し、一貫性のある動きのみをロボットに転送、有界深さ補償モジュールで実行誤差を低減することで、生成動画誘導操作の信頼性を向上させる。
生成動画は視覚的な運動事前分布を提供するが、計量幾何や物理的実行可能性を欠く。 GenVid2Robotは実RGB-D最初のフレームからタスク関連の意味的アンカーをサンプリングし、生成動画内で追跡する。 TactiDex:現実世界の触覚誘導型ベンチマークによる人間のような器用な操作 2026-07-13 13:00 UTC+9 TactiDexは、現実世界の触覚誘導型ベンチマークであり、器用な操作を運動学的模倣から接触レベルの人間らしさへと進化させる。全手の触覚信号と多粒度の運動学・物体状態を整列したデータセットと、三要素触覚報酬を用いたTactiSkillフレームワークを提案し、単手・両手作業で優れた性能を示す。
TactiDexは、全手触覚信号と運動学・物体状態を統合したデータセットと評価指標を提供。 TactiSkillフレームワークは、触覚報酬を用いて人間のデモを物理的に妥当なロボット動作に変換。 BeyondSight:エンドツーエンド自動運転のためのオブジェクト永続性 2026-07-13 13:00 UTC+9 BeyondSightは、アクターの存在と観測可能性を切り離し、永続的なアクター仮説を維持することで、部分観測環境下でも遮蔽されたアクターを推論可能にするエンドツーエンド運転フレームワークです。実験では、観測不可能なアクターの検出mAPが0から0.249に向上し、計画誤差L2avgが0.61から0.54に低減しました。
BeyondSightは、エンドツーエンド自動運転にオブジェクト永続性を導入し、遮蔽されたアクターを扱います。 時間的伝播と観測条件付き更新により、永続的なアクター仮説を維持します。 高忠実度BLDCモータモデリングのための残差物理情報ニューラルネットワーク 2026-07-13 13:00 UTC+9 本論文では、深層残差ネットワーク(ResNet)をバックボーンとする物理情報ニューラルネットワーク(PINN)を提案し、ブラシレスDC(BLDC)モータの連続時間六状態ダイナミクスを学習する。ネットワークはシミュレーション時間、三相電圧、励磁パラメータを入力とし、回転子角度、角速度、三相電流、巻線温度を直接予測するとともに、複合物理データ損失を通じて支配的な電気機械および熱ODEを満たす。カリキュラムスケジューリング戦略により物理ペナルティを段階的に活性化し、早期収束を防止する。標準CPUでのトレーニングは2分未満。推論レイテンシは0.1~22μsで、従来のODEソルバーより最大118倍高速であり、リアルタイム観測および制御応用に適している。
ResNetベースのPINNでBLDCモータの高忠実度モデリングを実現 ネットワークは六状態変数を直接予測し物理ODEを満たす AIベースの血管内ナビゲーションのための血管形状特性評価 2026-07-13 13:00 UTC+9 この研究は、ナビゲーションの難易度に関連する血管指標を特定し、将来の複雑性評価を可能にする定量的血管特徴抽出のための自動パイプラインを開発することを目的としています。61名の患者のCT血管造影から血管樹を分割し、大動脈弓タイプ、牛弓の存在、血管長、屈曲度、起始角、逆曲線数などを測定。Soft Actor-Critic強化学習アルゴリズムを用いて120秒間の自律ナビゲーションを実施しました。左側では牛弓とII/III型大動脈弓がナビゲーション時間をそれぞれ30.19秒と37.92秒延長し、屈曲度が高いほど手技時間が延び成功率が低下。右側ではII/III型弓が45.94秒延長し、逆曲線が1つ増えるごとに3.96秒延長し成功率が低下しました。この自動パイプラインは、標準化された複雑性評価と強化学習モデル評価の基盤を提供します。
機械的血栓除去エージェントのナビゲーション難易度が血管形状に強く影響されることを初めて実証。 血管特徴の定量的特性評価のための自動パイプラインを開発。 Dec-MARVEL: 予算制約下での通信不要な分散型マルチエージェント探索 2026-07-13 13:00 UTC+9 本論文では、通信がなく方向性センシングのみを持つマルチUAVチームのための分散型予算対応探索フレームワークDec-MARVELを提案する。各ロボットは視野内のチームメイトの軌跡を観測することで協調し、グラフアテンションネットワークを用いて帰還可能なウェイポイントを選択する。実験では、様々なチーム規模と予算で最高の探索率と最低のセンシング重複を達成し、実機実験でもシミュレーションから実世界への転送に成功した。
チームメイトの軌跡の偶発的観測による協調 グラフアテンションアクターが局所フロンティア形状、チームメイトの動き、予算特徴を統合 CLAP: 言語-行動の接地によるVLMからVLAへの直接適応 2026-07-13 13:00 UTC+9 CLAPは数値行動系列の前に言語記述を追加することで、事前学習済みVLMをVLAに効率的に変換します。単一エポックのファインチューニングで2BモデルがLIBEROで90.8%を達成し、ロバスト性も向上。0.8B、2B、4Bのオープンウェイトモデルを公開予定。
数値行動の前に言語記述を追加し、出力分布のミスマッチを回避 単一エポックのファインチューニングで2BモデルがLIBEROで90.8%を達成 SplatCtrl:ガウスシーン表現とリアクティブロボット制御による知覚-行動連携 2026-07-13 13:00 UTC+9 SplatCtrlは、3Dガウススプラッティングを用いたリアルタイムシーン再構築とリアクティブなロボット動作生成を統合するフレームワークであり、未経験で動的な環境におけるロボットアームの衝突回避制御を実現する。ハイブリッドボクセルフィルタリングと動的ガウス再配置戦略により環境変化に対応し、等方性ガウス分布から連続符号付き距離関数を導出して制御障壁関数に組み込む。シミュレーション、実機ロボット、人協調領域での実験により有効性を確認した。
SplatCtrlは3Dガウススプラッティングとリアクティブ制御を統合し、衝突回避を実現。 ハイブリッドボクセルフィルタリングと動的ガウス再配置による効率的なシーン再構築。 FlowDAgger:潜在空間における生成ロボットポリシーの人間参加型適応手法 2026-07-13 13:00 UTC+9 FlowDAggerは、凍結された生成ロボットポリシーを潜在空間での人間の介入から効率的に適応させるサンプル・計算効率の高い手法です。核心はアクション反転:各人間専門家の行動を、凍結ベースポリシー下でそれを生成するノイズにマッピングし、軽量な潜在ポリシーを訓練してベースモデルを誘導します。シミュレーションと実世界の両腕・片腕操作タスクにおいて、教師ありファインチューニングや潜在空間強化学習ベースラインを上回り、事前訓練されたスキルを保持します。
FlowDAggerは、大規模データ収集やオンライン強化学習を必要とせず、潜在空間での人間の介入により事前訓練された生成ロボットポリシーを適応させる。 アクション反転技術により、専門家の行動をノイズに変換し、軽量な潜在ポリシーでベースモデルを調整する。 AgenticFocus: 人間の一人称視点映像からの物体保存型複合現実合成による器用なヒューマノイド学習 2026-07-13 13:00 UTC+9 AgenticFocusは、通常の一人称視点人間ビデオをロボット訓練可能なデモンストレーションに変換する複合現実合成パイプラインであり、遮蔽された物体形状の復元、全手動作の再構築、ヒューマノイドへのリターゲティングを行います。軌道誤差と手首の滑らかさにおいてベースラインを上回ります。
AgenticFocusは複合現実を用いて通常の一人称視点ビデオをロボット訓練データに変換します。 手と物体の遮蔽を処理し、特殊なハードウェアなしで全手動作を再構築します。 ビデオ生成モデルは汎用視覚学習器である 2026-07-13 13:00 UTC+9 本論文では、大規模テキスト・ツー・ビデオ生成をコンピュータビジョンのプレトレーニングパラダイムとして活用するGenCeptionを提案。深度、表面法線、カメラポーズ推定など多様なタスクでSOTAを達成し、データ効率の良さと合成データから実世界への汎化能力を示す。
GenCeptionはプレトレーニング済みビデオ生成拡散バックボーンをフィードフォワード知覚モデルとして利用。 深度、法線、ポーズ、セグメンテーション、3Dキーポイント予測などでSOTA。 C-GAP: クラス認識とオンラインプロンプティングによる不均衡クラス上の視覚言語モデルの改善 2026-07-13 13:00 UTC+9 C-GAPは、大規模言語モデル(LLM)を用いて言語プロンプトを反復的に改良し、再トレーニングや追加アノテーションなしに、視覚言語モデルにおけるレアクラスの検出を向上させる新しいフレームワークです。2つのフェーズから構成されます:まず、シーン記述とクラス数量コンテキストを組み合わせた複合キャプションベースラインを確立し、次に、LLMが少数クラスの平均精度(AP)閾値に基づいて各画像のキャプションを反復的に最適化します。実験では、少数クラスのAPが最大53%向上し、COCOでは約81%の相対改善を示しました。
C-GAPは2フェーズアプローチ:複合キャプションベースラインとLLMによる反復最適化。 検出器の重みは更新されず、追加アノテーションも不要。 MultiView-Bench:VLMのワールド中心マルチビュー統合のための診断ベンチマーク 2026-07-13 13:00 UTC+9 MultiView-Benchは、視覚言語モデル(VLM)が複数の視点からの観測を統合し、一貫したワールド中心の3Dメンタルモデルを構築する能力を評価するために設計された診断ベンチマークです。現在の最先端VLMは単一視点の2Dタスクでは優れていますが、3D空間関係の理解と視点間の情報統合に苦戦しています。著者らは、情報量の多い視点を積極的に選択し、マルチビュー証拠を融合するマルチエージェントフレームワークViewNavigatorを提案し、ベンチマークで3〜5倍の性能向上を達成しました。
既存のVLMベンチマークは主に単一または限定視点の知覚を評価し、マルチビュー統合を無視している。 MultiView-Benchは、物体の位置を一時的な視点から切り離し、グローバル座標系に基づかせることを要求する。 サブメートル解像度はカカオマッピングに必要か?コートジボワールにおける超高解像度画像、デカメートル地球観測入力、運用プロダクトの景観階層評価 2026-07-13 13:00 UTC+9 コートジボワールで実施された研究では、超高解像度(0.5m)とデカメートル衛星画像を比較し、VHRはF1=0.92を達成、TESSERAなどの基盤モデル埋め込み(F1=0.86)はスケーラブルな代替手段となることを示した。断片化した景観では性能差が拡大する。
VHR画像(0.5m)はカカオマッピングでF1=0.92を達成。 TESSERA基盤モデル埋め込みはF1=0.86で、Sentinel-2(F1=0.76)を上回る。 Vision Transformerが自然画像からゲシュタルト的な図地手がかりを学習 2026-07-13 13:00 UTC+9 新しい研究により、Vision Transformer(ViT)が自然画像から囲まれ性、凸性、対称性などのゲシュタルト的な図地手がかりを学習できることが示された。25のViTモデルをテストした結果、囲まれ性と凸性は堅牢に符号化される一方、対称性は均一色領域でのみ機能することが分かった。この研究は、ゲシュタルト手がかりが自然シーンの統計から学習可能であることを示し、ViTを知覚組織の計算メカニズム研究のモデルシステムとして位置づける。
ViTは囲まれ性と凸性の図地手がかりを堅牢に符号化する。 対称性の手がかりは均一色領域でのみ符号化され、テクスチャ領域では機能しない。 HAT超解像とPARSeq+CLIP4STR投票アンサンブルによる極端な野外ナンバープレート認識 2026-07-13 13:00 UTC+9 本論文は、ICIP 2026 Grand Challenge「Extreme In-the-Wild License Plate Super-Resolution (XLPSR)」への参加内容を述べています。システムは、Hybrid Attention Transformer (HAT)超解像フロントエンドと、2つのシーンテキスト認識器(PARSeq-SとCLIP4STR-B)のアンサンブル、および不確かな位置で棄権する信頼度重み付き文字投票スキームを組み合わせ、公開検証リーダーボードで9.73 wECRを達成しました。パイプラインはRTX 3090上でシーケンスあたり1.7秒で動作し、60秒のDocker予算を大きく下回ります。
システムはICIP 2026 XLPSRチャレンジの検証リーダーボードで9.73 wECRを達成。 HAT超解像とPARSeq・CLIP4STR認識器アンサンブルを組み合わせる。 空間制御可能なマルチビュー屋内シーン再照明のための分離照明事前分布 2026-07-13 13:00 UTC+9 Lume-Paletteフレームワークは、照明蒸留と照明投射の2段階にプロセスを分離することで、空間的に制御可能なマルチビュー屋内シーン再照明を実現し、マルチビュー一貫性を維持しながら詳細な3Dライト制御を可能にします。
再照明を照明蒸留と照明投射の2段階に分離するLume-Paletteフレームワークを提案。 照明蒸留は、事前学習済み拡散モデルから標準照明パレットを抽出し、素材と光の相互作用を保存。 プローブの混合:プロービングによるマルチモーダルLLMの特権モダリティからの学習 2026-07-13 13:00 UTC+9 本論文は、訓練時のみ利用可能な補助モダリティを効果的に活用するためのフレームワーク「Mixture of Probes (MoP)」を提案する。MoPは構造化プロービング機構を用いて中間表現から情報を抽出し、MoP-X訓練戦略によりプローブ崩壊を防ぎつつクロスモーダル学習を促進する。実験では、ベースラインに対して最大65%の相対的改善を達成した。
MoPは構造化プロービングによりモダリティ固有信号と汎用信号を分離する。 MoP-X訓練はプローブ崩壊を防止しクロスモーダル学習を促進する。 StereoSplat+:拡散支援型プログレッシブ推論を用いたフィードフォワードステレオガウシアンスプラッティング 2026-07-13 13:00 UTC+9 StereoSplat+は、単一のステレオペアから因果的再構成を可能にする拡散強化フィードフォワードフレームワークです。複数視点の観測を必要とせず、ステレオガウシアン推定器とプログレッシブ推論スキームを統合し、KITTI-360データセットにおいて新規視点レンダリング品質と幾何学的精度を向上させます。
可変数のステレオペアを入力とする入力不変のフィードフォワード3Dガウシアン推定器StereoSplatを提案 コストボリューム分岐とトリプレーンベースの3Dボリューム分岐を融合し、連続ポーズエンコーディングで様々なビュー構成に一般化 データに語らせる:AIによるクラウドソースコレクションからのキーワード抽出 2026-07-13 13:00 UTC+9 本研究は、オックスフォード大学の第二次世界大戦アーカイブを事例に、クラウドソースコレクションにおける自動キーワード抽出の技術的・倫理的課題を調査。3つのNLP手法を評価し、有望だが完全な解決策はなく、生成AIよりもオープンウェイト抽出モデルが責任ある展開に適していると結論づけている。
3つのNLP手法(NER、キーワード抽出、トピックモデリング)を評価。 単一の手法で完全な解決はなく、モデル選択が結果に大きく影響。 大規模文学コーパスの自動主題索引付け:ヴォルテール全集への機械学習アプローチ 2026-07-13 13:00 UTC+9 本研究は、機械学習を用いた大規模文学コーパスの自動主題索引付けを探求し、ヴォルテール作品をテストケースとして、さまざまなモデルを比較。最良のMistralシリーズ4ビット量子化モデルはF1スコア0.67を達成し、自動索引の可能性を示した。
主題索引は大規模文学・歴史版にとって重要だが、手動では労力がかかる。本研究はヴォルテールの『諸国民の風俗と精神』と『百科全書問題』をテストケースとしてMLを適用。 タスクはマルチラベル分類として枠組み化。エンコーダベースのモデルからファインチューニングされたLLM(3~1200億パラメータ)まで比較。 小型双曲言語モデルに現れる創造性、誠実性、設計された忘却 2026-07-13 13:00 UTC+9 研究によると、小型双曲言語モデルでは創造性、誠実性、設計された忘却などの特性が現れ、信頼できる伴侶AIへの小モデル経路を提供する。これらのモデルには行動監査役、創造的フレーム・シーダー、記憶オペレーティングシステムが含まれる。
3つの小型双曲言語モデル(1億4600万から30億パラメータ)が創造性、誠実性、設計された忘却を示す。 1億4600万パラメータの行動監査役は90.7%の精度でコンプライアンスギャップを検出し、伴侶AIの迎合、依存促進、作話記憶を検出する。 文字の見出し語化:中世テキストの文字セット簡略化と略語の逆変換のための一対一およびバンド付きRNN 2026-07-13 13:00 UTC+9 本論文では、自己教師あり学習を用いた一対一RNNによる文字セット簡略化の逆変換を提案し、わずか20行のテキストで文字誤り率の半分を回復。同じネットワークをバンド付きRNNとして使用し、中世憲章の略語展開に成功。さらに、任意の文字セット間の意味的類似度を計るヒューリスティック手法を導入し、Pythonライブラリを提供する。
自己教師あり学習で訓練された一対一RNNが、20行のテキストのみで文字誤り率の半分を回復。 同じネットワークをバンド付きRNNモードで使用し、中世憲章の略語を正常に展開。 複雑性誘導型コンポーネント単位の初期化による言語モデル事前学習 2026-07-13 13:00 UTC+9 本研究では、11個のGPT-2スタイル事前学習モデルの重みスペクトルを分析し、残差書き込み行列におけるスケール増大とスペクトル集中などの共有深さ傾向を発見。これらのスペクトルパターンを模倣した初期化手法を構築したが、標準的な手法に対する性能優位性は見られなかった。事前学習済み重みの直接再利用が依然として競争力を持ち、粗いスペクトルマッチングだけでは不十分で、よりリッチな情報が必要であることを示唆している。
11個のGPT-2スタイルチェックポイントを分析し、残差書き込み行列におけるスケール増大とスペクトル集中などの共有深さ傾向を発見。 事前学習モデルのコンポーネント単位の大きさとスペクトルプロファイルを模倣した初期化スキームを構築したが、評価では性能優位性は見られなかった。 大規模言語モデルによるファンダメンタル分析の拡張:投資家向けブリーフを生成するRAGベースのシステム 2026-07-13 13:00 UTC+9 この研究では、GPT-4oと検索拡張生成(RAG)を用いて、企業報告書、マクロ経済データ、SEC提出書類を処理し、投資家向けブリーフを自動生成する方法を探求しています。システムは4週間にわたり9社をスキャンし、9人の個人投資家が評価を行いました。
GPT-4oとRAGを活用し、企業報告書、マクロ経済データ、SEC提出書類を自動処理 キッチンサイクルに基づく投資家知識ベースを構築し分析を支援 創発的な蜃気楼:創発的ミスアライメントとリアライメントは本当にロバストな現象なのか? 2026-07-13 13:00 UTC+9 新しい研究が言語モデルにおける創発的ミスアライメント(EM)のロバスト性に疑問を投げかけている。EMを再現しつつも、ミスアライメントとリアライメントはデータセットの表面的な特性(応答長の違いなど)に非常に敏感であり、以前報告された表現の相転移は行動のミスアライメントと一貫して相関しないことが判明した。これはEMの現在の証拠が主張されていたほどロバストではないことを示唆し、より厳密な評価プロトコルの必要性を強調している。
研究は創発的ミスアライメント(EM)を再現したが、データセットの表面的特性に非常に敏感であることを発見。 応答長の差を制御すると、見かけ上の急速なリアライメントはほぼ消失する。 HALO: 言語モデルのためのハイブリッド適応潜在推論 2026-07-13 13:00 UTC+9 HALOは、粗い洗練段階とトークンスコアリングに基づく選択的な第2段階の潜在洗練を組み合わせたハイブリッド適応潜在洗練手法であり、凍結済み事前学習言語モデルを効率的に改善します。MMLU-ProおよびGPQA-Diamondベンチマークで、固定洗練ベースラインよりも優れた平均性能を達成し、計算コストも低くなっています。
粗い洗練とトークンスコアリングに基づく選択的第2段階洗練を組み合わせます。 MMLU-ProおよびGPQA-Diamondで固定1ステップおよび2ステップ洗練を上回る平均性能。 中程度の非構造的疎重み行列を用いた大規模言語モデルのGPU推論高速化 2026-07-13 13:00 UTC+9 本論文では、大規模言語モデル推論のための効率的なGPU手法を提案。3層の行列ストレージ形式(スパーステンソルコア層、スロットフィリング層、残差層)を用い、50%程度の疎密度で初めて密行列乗算を凌駕する性能を達成。SpInfer比最大1.64倍のカーネル高速化、FlashLLM比最大1.41倍のエンドツーエンド高速化を実現。
スパーステンソルコアとCUDAコアを併用する3層ストレージ形式を提案。 約50%の非構造的疎密度で初めて密行列乗算を上回る性能を達成。 DaDaDa:データ市場のためのデータ価格設定データセット 2026-07-13 13:00 UTC+9 高品質なデータは機械学習を推進するが、データ製品の価格設定は限界費用がほぼゼロであることや収益の予測不可能性から難しい。従来の価格設定手法は機能せず、市場比較アプローチにはベンチマークが欠けている。研究者らは、世界9つの主要データ市場から16,147製品のメタデータを含む、初のデータ製品価格設定データセット「DaDaDa」を発表した。これにより価格モデルの訓練とベンチマークの確立が可能になり、分類や検索タスクにも利用できる。実験により有効性が示された。
DaDaDaは初のデータ製品価格設定データセットで、9市場の16,147製品をカバーする。 価格モデルの訓練と新製品のベンチマーク確立を可能にする。 HERO: 異種性を考慮したフェデレーション連続学習のためのベンチマークライブラリ 2026-07-13 13:00 UTC+9 フェデレーション連続学習(FCL)は、分散クライアントが変化するデータストリームから学習し、以前に学習した知識を保持する能力を評価する。既存の評価は、データセット、タスク分割、クライアントデータ分割、タスク順序、バックボーン、メモリ仮定、報告ルールを同時に変更するため比較が困難である。本論文では、FCLのための異種性を考慮したベンチマークライブラリHEROを提案する。HEROはタスク分割、クライアントデータ分割、クライアントタスク順序の3つの選択を分離する。HERO-Coreではαがデータの偏り、ρがタスク順序の不一致を制御する。CIFAR-100とTinyImageNetでの評価により、手法の振る舞いが容易な設定と異種設定で変化すること、平均精度が弱いクライアントのパフォーマンスを隠す可能性があること、HEROインターフェースが画像以外のドメインシフトの難しさを明らかにできることを示す。HEROは再現可能で設定を考慮したFCL評価をサポートするベンチマークストリーム、設定、実装、レポートスクリプトを公開する。
HEROはタスク分割、クライアントデータ分割、クライアントタスク順序を分離し、比較可能なFCL評価を実現。 HERO-Coreはαとρを用いてデータの偏りとタスク順序の不一致を制御。 LieBN:リー群上のバッチ正規化 2026-07-13 13:00 UTC+9 本論文では、リー群上のリーマンバッチ正規化フレームワークLieBNを提案。左不変・右不変計量を利用して理論的保証を提供し、対称正定値多様体、回転行列群、フルランク相関行列多様体など9つの幾何学に実装。実験で有効性を確認。
LieBNはリー群に対する初の汎用的リーマンバッチ正規化フレームワーク。 左不変・右不変計量を用いてリーマン平均と分散を理論的に制御。 Director: オンライン予測型エキスパート配置による分散MoEサービングの高速化 2026-07-13 13:00 UTC+9 本論文では、予測駆動のオンラインエキスパート配置によりエンドツーエンドレイテンシを最小化する新しい分散MoEサービングシステムDirectorを提案する。軽量カスケード予測器または低ビット量子化レプリカを用いてエキスパート活性化パターンを予測し、ほぼゼロダウンタイムのマイグレーションモジュールと、多項式時間で(1+ε)近似比を達成する緩和ベースの最適化器を備える。実験では、Mistral、DeepSeek、Qwenなどの人気MoEモデルにおいて、既存手法と比較して11〜55%のレイテンシ削減を実証した。
予測駆動のオンラインエキスパート配置 ほぼゼロダウンタイムのエキスパートマイグレーション 報酬輸送:ノイズ空間アライメントによるフローマッチングの特性制御 2026-07-13 13:00 UTC+9 本論文では、報酬輸送(Reward Transport)を提案する。訓練時に最適輸送結合を用いてノイズ空間のスカラー座標を分子報酬とアライメントし、推論時にその座標を調整するだけで、オラクルや報酬モデル、勾配ガイダンス、追加計算を必要とせずに生成分布を制御できる。ZINC-250KおよびGuacaMolでの実験により、logPの単調制御とQEDの一貫した制御を示し、汎用的なサイズバイアスが排除される。また、クラシファイアフリーガイダンスと相補的である。
報酬輸送を提案し、フローマッチングの結合をアライメントインターフェースとして利用して分子特性制御を実現。 訓練時に最適輸送結合でスカラー座標を報酬とアライメントし、推論時に座標を調整して生成を制御。 スティッキールーティング:メモリ効率的な推論のためのMoEモデルのトレーニング 2026-07-13 13:00 UTC+9 エッジデバイス上でのメモリ効率的な推論を実現するため、StickyMoEを提案します。これは隣接するトークン間の専門家切り替えをペナルティする微分可能なルーティング一貫性損失であり、トレーニング時に直接適用します。実験では、専門家切り替え率を最大60%削減し、パープレキシティの低下は4%未満です。
MoEモデルはエッジデバイスで頻繁な専門家切り替えによるメモリボトルネックに直面。 StickyMoEはトレーニング時にルーティングの局所性を直接最適化し、アーキテクチャ変更不要。 少ビット整数のための符号付き対称量子化 2026-07-13 13:00 UTC+9 本論文は、標準対称量子化器のクリッピング問題を解決し、非対称量子化の実行時オーバーヘッドを回避する符号付き対称量子化を提案する。理論解析によりℓ2誤差で条件付き最適性を示し、Qwen3、Llama3シリーズのLLMでパープレキシティと精度の向上を確認した。
標準対称量子化器は符号付き整数アルファベットの不均衡により正の外れ値をクリッピングし、低ビットで誤差が顕著。 符号付き対称量子化は、追加の表現値を主要な外れ値テールに割り当てることで対称量子化の実行時利点を維持。 iLENS:解釈可能なLLM誘導型混合専門家システムによる神経画像生存分析 2026-07-13 13:00 UTC+9 iLENSは、大規模言語モデル(LLM)と混合専門家システム(MoE)に基づく解釈可能なフレームワークであり、アルツハイマー病(AD)の前駆期から認知症への変換を予測する。構造化神経画像測定と非構造化情報を統合し、LLMが専門家のルーティングを導くことで、競争力のある予測性能と患者サブタイピングを提供し、ルーティング決定に対して透明で生物学的に根拠のある理由を示し、高性能生存分析と解釈可能な臨床意思決定支援のギャップを埋める。
iLENSはLLMを使用して構造化データと非構造化データを融合し、AD変換の生存予測のためにMoEルーティングを導く。 このフレームワークは競争力のある予測性能を発揮し、異なる患者サブタイプを識別する。 相互作用による大規模言語モデルの知識蒸留解釈の統一アプローチ 2026-07-13 13:00 UTC+9 本論文では、大規模言語モデル(LLM)における知識蒸留(KD)のメカニズムを説明する統一アプローチを提案する。出力を相互作用に分解することで、KDの共通メカニズムが相互作用のスパース化(学生モデルが少数の相互作用のみを保持)であることを発見。性能の違いは複雑な相互作用の処理能力に起因し、複雑相互作用ペナルティ(CIP)損失関数を提案。実験によりCIPが様々なKD手法の性能を一貫して向上させることを示す。
知識蒸留(KD)の共通メカニズムを相互作用分解により解明。結論として、学生モデルは少数の相互作用のみを保持し、他をゼロ効果に抑制する「相互作用のスパース化」が普遍的に見られる。 性能差は複雑な相互作用の処理能力に起因。複雑な相互作用のスパース性が高いほど性能が良い。 KV-PRM: KVキャッシュ転送によるマルチエージェントテスト時スケーリングのための効率的なプロセス報酬モデリング 2026-07-13 13:00 UTC+9 KV-PRMは、LLM生成時に自然に生成されるKVキャッシュを直接利用することでテキストの再エンコードを排除し、スコアリングコストをO(L²)からO(L)に削減する効率的なプロセス報酬モデルです。実験では、テキストベースPRMと同等以上の性能を示しながら、FLOPsを最大5000倍、レイテンシを37倍、メモリ使用量を34倍削減しました。
従来のテキストベースPRMは軌跡全体を再エンコードする必要があり、コストがO(L²)となる。 KV-PRMはKVキャッシュを用いて単一の検証トークンを処理するだけでO(L)のコストを実現。 MedRealMM: 中国のオンライン医療相談のための実世界マルチモーダルベンチマーク 2026-07-13 13:00 UTC+9 MedRealMMは、中国全土のインターネット病院から収集した匿名化された医師と患者の対話に基づく大規模マルチモーダルベンチマークです。5,620の症例を64診療科にわたって含み、マルチモーダル臨床チャレンジポイント(MCCP)抽出フレームワークを使用して標準化された次応答生成タスクを作成します。19のLLMを評価した結果、画像情報が信頼できる臨床パフォーマンスに不可欠であり、現在の最先端モデルは医師と同等の肯定的基準を満たす一方で、より多くの否定的基準を引き起こし、安全性に敏感なエラー回避が主要なボトルネックであることが示されました。
MedRealMMは、中国全土のインターネット病院から収集した実際の医師患者対話に基づき、64診療科にわたる5,620のマルチモーダル症例を含む。 マルチモーダル臨床チャレンジポイント(MCCP)抽出フレームワークを用いて、臨床的に要求の高い瞬間を特定し、標準化されたタスクに変換する。 ブラソフ方程式の平均場導出の形式化:AI支援によるLean形式化を戦略ゲームとして 2026-07-13 13:00 UTC+9 研究者らはブラソフ方程式の平均場導出の形式化を戦略ゲームとして捉え、数学者がAIシステムを指揮してLaTeX文書をLean 4証明支援コードに変換する。このケーススタディは、非線形ブラソフ方程式のドブルシン平均場経路による適切性(存在、一意性、安定性評価、平均場極限、短時間重ね合わせ原理)の完全な形式化に成功した。形式化の約6分の1は、より広範なライブラリが再利用可能な自己完結層として分離された。
形式化活動を戦略ゲームとして捉え、数学者がAIを指揮 Lean 4で非線形ブラソフ方程式の適切性を形式化 Long-Horizon-Terminal-Bench:高密度報酬ベースの評価による長期的ターミナルタスクにおけるエージェントの限界テスト 2026-07-13 13:00 UTC+9 Long-Horizon-Terminal-Benchは、実験再現、ソフトウェア工学、マルチモーダル解析、インタラクティブゲーム、科学計算など9カテゴリにわたる46の長期的タスクからなるターミナルベンチマークです。タスクを細かいサブタスクに分解し、密な中間報酬と部分点を提供することで、AIエージェントの能力をより包括的に評価します。15の最先端モデルを評価した結果、最強モデルでも部分報酬閾値0.95で15.2%、完全報酬閾値1.0で10.9%の合格率にとどまり、平均合格率はそれぞれ4.3%と1.7%であり、大きな改善の余地があることが示されました。
既存のベンチマークは短時間のタスクに焦点を当て、最終結果のみで評価し、中間の進捗を無視している。 Long-Horizon-Terminal-Benchは46の長期的タスクを含み、細かいサブタスクによる密な報酬を提供する。 GATS:階層的世界モデルを用いたグラフ拡張木探索による効率的なエージェント計画 2026-07-13 13:00 UTC+9 GATSは、体系的なUCB1ベースの木探索と階層的世界モデルを組み合わせ、計画中にLLM呼び出しを一切行わずに100%の成功率を達成する新しいエージェント計画フレームワークです。合成タスクおよび12の困難なシナリオにおいて、LATSやReActを上回る性能を示し、計算コストも低く抑えられます。
GATSはUCB1木探索と3層の世界モデルを採用し、計画中にLLM呼び出しを不要に 合成計画タスクで100%の成功率を達成(LATS 92%、ReAct 64%) CogniConsole:信頼性の高いLLM対話のための推論時制御の形式化抽象化 2026-07-13 13:00 UTC+9 新しい研究CogniConsoleは、大規模言語モデルの信頼性はモデルの能力だけに依存するのではなく、推論時制御に大きく影響されることを示しています。プログラム調整と制限付きプロンプト推論を組み合わせた構造化インターフェースにより、構造的足場を増やすことで出力のばらつきと失敗率を系統的に低減できることが、489回のプローブ実験で実証されました。多くの障害は能力不足ではなく、制御の不十分さに起因しています。
信頼性は誤ってモデル能力に帰属されがちだが、実際には推論時制御に大きく影響される。 CogniConsoleは推論時制御を外部化し、プログラム調整と制限付きプロンプト推論を組み合わせた構造化インターフェースを提供する。 格子探索による多層パーセプトロンの区間認証 2026-07-13 13:00 UTC+9 本論文は、敵対的ロバスト性というAI安全性の基礎問題に対して、格子探索問題に帰着させる厳密な理論的枠組みを提示する。音声認証と完全認証という2種類の区間認証を導入し、格子探索演算子を開発、最適化の複雑性における非対称性を明らかにする。完全認証は多項式時間で解けるが、音声認証は強難解である。最後に、新しいParallelepipedoNNシステムを用いた実験評価を示す。
多層パーセプトロンの敵対的ロバスト性を区間上の格子探索問題に帰着。 音声認証は区間内で予測が変わらないことを保証し、完全認証は区間外で予測が変わることを保証。 違法なAI生成コンテンツから子供を守る新手法 2026-07-13 13:00 UTC+9 MITとThornの研究者らは、生成AIモデルが児童性的虐待素材(CSAM)を生成可能かどうかを、出力を生成せずに内部の適応を分析して検出する監査手法を開発した。テストでは100%の精度を達成し、拡張性も高いため、プラットフォームや法執行機関が有害なモデルを特定・除去する実用的なツールとなる。
新しい監査手法はLoRAアダプターにガウスプロービングを用い、コンテンツを生成せずにCSAM生成能力を検出する。 テストではCSAM生成に特化したモデルを100%の精度で識別した。 Show HN: Clark – 自身のコンピュータを持つAIアシスタント 2026-07-13 09:53 UTC+9 Clarkは一人で開発されたAIアシスタントで、Manusエージェントと機能・能力で同等を目指しています。コンピュータ使用、ブラウザ使用、深い調査、Googleツールとの統合が可能。毎日何千人ものユーザーが利用しています。
Clarkは人間のようにコンピュータやブラウザを操作できるAIアシスタントです。 深い調査(ClarkがClarkを呼び出す)とGoogleツール統合をサポート。