最新模型
TsuGO、推論テキストを探索木に復元 Gemini 3.1 Proのオープン形式・難問の正答率はわずか19%
TsuGOは、検証可能な囲碁の詰碁問題600問を用い、答えやtoken数だけでなく、モデルが推論リソースを正しい分岐に投入できているかを測定する。4択の候補を取り除くと、複数の推論モデルで正答率と探索効率が同時に急落し、ニューラルネットワークで探索を誘導するKataGoとの差も依然として大きかった。
Archive
GitHub Repo
GitHub 熱門專案、開源工具、框架、runtime 與重要 release。
最新模型
最新模型
LongEarth-R1、最長30フレームの衛星画像系列を推論し、12の時空間タスクすべてで比較モデルを上回る
LongEarth-Benchは11万7,000枚のリモートセンシング画像を約12万組の長系列QAに整理し、地形の変化、異常、欠損状態をモデルに追跡させる。Qwen2.5-VL-7BをベースとするLongEarth-R1は、フレーム番号、構造化推論、時空間報酬を導入したが、データ、重み、コードはまだ公開されていない。
代理工具
AutoDesign、エージェントに自身の設計ハーネスを書き換えさせ、7構成のポスター評価が平均12.4ポイント向上
AutoDesignは、外側のエージェントが実行トレースを分析して本番システムを変更し、独立した開発セットによって更新を採用するかどうかを決定する。オープンソースのDesignHarnessは、著者らのPosterBenchで複数の商用システムを上回ったが、自動スコアと人間の選好との相関係数はわずか0.34だった。
最新模型
V-RAE、動画のlatentに凍結済み視覚表現を採用、K600の生成学習で最大6倍速く収束
V-RAEは、動画VAEをピクセル再構成だけを目的に学習するのではなく、DINOv3、SigLIP2、V-JEPA 2.1などの意味特徴に時間圧縮とデコーダーを追加する。著者らの実験では、この新しいlatentによって生成と未来フレーム予測の両方が改善したが、現時点での検証は低解像度、短いクリップ、クラス条件付き生成に限られている。
AI 安全
RAGSieve、検索結果自体を基準にした二層フィルタリングでRAGポイズニングの成功率を67.4%から14.0%に低減
RAGSieveは、信頼できるコーパスや事前にラベル付けされた汚染サンプルを必要とせず、クエリごとのランキング末尾と文書の局所的な意味近傍をそれぞれ比較する。オープンソースの実験は3つの質問応答データセット、3種類のリトリーバー、6種類の攻撃を対象としているが、流暢に書かれた単一の悪性文書や、すでに汚染された検索ランキング末尾は依然として検出をすり抜ける可能性がある。
最新模型
Mimir 1B、深い層の積み重ねを階層型リカレント構造に置き換え、デンマーク語ベンチマーク平均で評価対象の9Bモデルを上回る
デンマークのFoundation Modelsチームは、HRMの高レベル・低レベルのリカレント処理を活用したMimir v1をゼロから学習し、開発者が評価した20種のベンチマークで一部の4Bモデルに迫る性能を達成した。重みは公開されているが、「利用可能なデータ」は完全なオープンデータを意味せず、一部のコーパスは契約またはEUの研究例外規定に基づいてのみ使用されている。
最新模型
同一モデル群の「テスト認識」はプロンプト次第で正の相関から負の相関へ反転、モデル自体が説明する分散はわずか0.8%
追試により、プローブの文脈上のラッパーを書き換えるだけで、モデル規模との相関係数が+0.94から−0.82へ変化することが判明した。研究チームは、少なくとも9〜10種類のプロンプトにまたがって測定しなければ、単一のactivation directionではモデル間を比較できないと提言している。
代理工具
ReFind、意味記憶インデックスを構築せず、未加工のチャット履歴検索でHippoRAG 2を平均5ポイント上回る
ReFindは書き換えていない会話履歴を保持し、エージェントがキーワード、時間、sessionフィルターを繰り返し使って証拠を収集できるようにする。約2,800問のテストでは平均正解率58.2%を達成し、最強の構造化記憶ベースラインの53.2%を上回った。ただし、比較においてすべてのコントローラーとツール予算が統一されていたわけではない。
推論系統
DARTree、先にツリーをバッチ構築してから枝刈り、Qwen3-4Bのデコード速度はローカルARの最大9.73倍
DARTreeは、拡散ドラフトモデルの因果補正を単一パスから複数分岐へ拡張し、ノード単位のheap探索を深さごとのバッチ展開に置き換える。単一のRTX 6000 Adaを用いたテストでは、7タスクすべてで平均高速化率がDFlash、DDTree、Dominoを上回ったが、コードはまだ公開されていない。
推論系統
TEMPO、実測実行時間に基づきMoEエキスパートを割り当て、Qwen3‑235Bのp99トークンレイテンシを約15.6%削減
TEMPOは、トークン数やアクティブ化されたエキスパート数を単に均等化するのではなく、HBMからの重みロードとGEMMタイルのパディングを同時に推定する。SGLangのプロトタイプは、一部のQwen3‑235Bトラフィックでスループットを4～6%向上させた一方、通信律速のDeepSeek‑V3では追加コストだけが残った。
代理工具
Vero、コーディングエージェントをLean 4リポジトリ全体へ拡張—最強構成でも完全解決は27/43問
Veroは、エージェントに複数モジュールからなるコードを実装し、単体テストに合格するだけでなく、機械的に検証可能な正当性証明を提出するよう求める。4つの最先端エージェント構成のうち、最良の構成でも16リポジトリを完全には解決できず、うち10件はすべての構成が失敗した。
代理工具
OmniScientist、マルチモーダルな証拠を研究プロセス全体で活用――直接知覚版がペア比較評価の85%で勝利
OmniScientistは、エージェントが画像、信号、映像、3D構造、軌跡を直接調べたうえで、着想、実験、論文執筆までを行えるようにする。36件のケースすべてで完全な原稿を生成したが、ケース数の不一致、コードの公開状況、自動評価の設計にはなお確認すべき点が残る。