AI時短ラボ
検索
検証

Hugging Face、ICML 2026の論文をコーディングエージェントで再現するハッカソン19日間で1,221人が6,816本の記録を公開し2,226本(会議の34%)を試み、35,908の主張を判定。51%で少なくとも1つの主張が検証、23%で少なくとも1つが反証または係争、242本は独立チームが正反対の判定。スポットライト論文の定理が崩れ、著者は当日確認

執筆:約8分で読めます

日刊AIニュース11月7日(土)号:前日のAIのニュース3本を短くまとめました(約5分)›

Hugging FaceとalphaXivは2026年8月13日、7月15日〜8月2日に開いた「ICML 2026 Open Reproductions」の結果を公開した。ICML 2026は投稿23,918本・採択6,352本と前年のほぼ倍で、査読の容量は追いついていない。採択全論文の核心的主張を抽出し、参加者は各自のコーディングエージェント(Claude Code・Codex・Cursor等)で再現して記録を公開、オープンウェイトのGLM-5.2が主張ごとに検証・反証・縮小規模・不明を判定した。1,221人が6,816本の記録で2,226本(34%)を試み、35,908の主張を判定。51%で少なくとも1つの主張が検証され(完全再現266本)、23%で少なくとも1つが反証または係争(独立チームが正反対の判定242本)。反証35件は主催者が再検証し、ページング論文の定理はH_k+O(1)でなくH_k+Θ(log k)、Attention論文は224ステップ以降に反例で著者が当日確認、自己蒸留論文は理論が逆KL・コードが順KL。結論は「人の役割は知能を管理すること」。

Hugging Face、ICML 2026の論文をコーディングエージェントで再現するハッカソン──19日間で1,221人が6,816本の記録を公開し2,226本(会議の34%)を試み、35,908の主張を判定。51%で少なくとも1つの主張が検証、23%で少なくとも1つが反証または係争、242本は独立チームが正反対の判定。スポットライト論文の定理が崩れ、著者は当日確認
目次

2026年9月18日・日本時間時点の情報です。 Hugging Faceのブログ(8月13日)を読んだ。「AIが研究を加速する」話はOpenAIとAnthropicの社内報告を追ってきたが、こちらはコミュニティが1,221人で学会1つを検査した記録で、結果が数字で出ている。

3行まとめ

  1. 何をやったか。 ICML 2026は投稿23,918本・採択6,352本と前年のほぼ倍(エージェントで実験と執筆が速くなったことが一因)で、査読の容量は倍になっていない。あるスポットライト論文の査読には「私の低い確信度は、証明を丁寧に確認しなかったから」とある。そこで7月15日〜8月2日、採択全論文の核心的主張を抽出して索引し、参加者が各自のコーディングエージェント(Claude Code・Codex・Cursor・OpenResearchのorx等)で再現して、Trackioの記録(報告・コード・成果物・任意で実行トレース)をHugging Face Spaceとして公開。自動の判定器(オープンウェイトのGLM-5.2)が各記録の自己評価を鵜呑みにしない前提で、主張ごとに検証・反証・縮小規模・不明を判定した。参加者にはHF Jobsの計算クレジット20ドル。データや重みが非公開の論文は合成データで縮小再現。
  2. 数字。 1,221人が6,816本の記録を公開し、**2,226本(会議の34%)**を試み(多くは複数チームが独立に)、35,908の主張を判定、HF Jobs 2,962回、実行トレースのデータセット274本。論文単位では、51%(1,103本)で少なくとも1つの主張が検証(完全再現266本、部分再現632本、実験で確認された主張3,978)。23%(496本)で少なくとも1つが反証または係争(全主張が反証で何も検証できず49本、独立チームが正反対の判定を出した242本)。残りは縮小規模の証拠のみ502本、不明280本(成果物の欠落が最多)。「再現性は二値ではなく敵対的」。
  3. 見つかった穴と、人の役割。 反証の申告35件は主催者が論文と記録を読み直し数学を再導出して再検証した。確認された例:冒頭の学習補助付きページングの論文はロバスト性をH_k+O(1)と主張したが、記録は加算項が0.38 ln kで増えることを測り証明の壊れる段を特定、主催者の再実装はk=1,024まで広げて約9σで確認(真の値はH_k+Θ(log k))。「Attentionの前方伝播とFrank-Wolfe」の定理は3チームが224・約3,800・6,416ステップで反例を見つけ(有限ステップの検査で止めた他の記録が「検証」と出た理由)、著者は当日確認し修正中。「自己蒸留による継続学習」は理論が逆KLなのにコードの既定が順KLで、看板の+4ptも再現せず、著者がarXivに訂正版。「Transformersに3つの射影は要るか」は評価ラベルの約66%がEOSパディングで困惑度が約3倍薄まり、「50%キャッシュ削減で品質コスト3.1%」は約9.4%に。一方、再現側の計算間違い(1軌跡あたりと50バッチあたりの時間の比較)による偽の反証もあり、正しく直すと論文の8倍高速が確認された。著者への連絡は始まっており、arXivの訂正2件が進行中、1件は挑戦前に著者が静かに直していた。結論は「エージェントは局所ループに嵌り、規模依存の挙動を読み違え、単位の不一致の上に反証を組む。最も信頼できた結果は人が舵を取ったワークフローから出た」「人の役割は、PIが院生に環境と問いを与えるように、知能を管理すること」。

23%反証の数字をどう割り引くか

  • 「採択論文の23%で少なくとも1つの主張が反証か係争」は、判定器がLLMで、反証35件しか人手で再検証していない点を割り引いても、査読の現状を数字で示した。「独立チームが正反対」の242本は、再現側の質のばらつきも含む
  • 「規模依存の見落とし」(有限ステップで止めて検証と判定)は、Julesの評価で見た「探索回数で正解率が跳ねる」と同じ構造。エージェントにどこまで走らせるかを人が決める、という結論に両者が至っている
  • 判定器にオープンウェイトのGLM-5.2を使った理由は明記されていないが、同社の夏の報告では侵入事件の解析でも「閉じたモデルは断ったのでGLM-5.2で」とある
  • 記録・判定・トレースはすべて公開されており、当サイトがSWE-Benchの監査で扱った「ベンチマークの検査」の学会版として参照できる

本文の数字を照合、個別記録は未確認

この記事の下調べで、筆者は9月18日にHugging Faceのブログを取得し、23,918/6,352・1,221・6,816・2,226(34%)・35,908・2,962・274・51%(1,103)・266/632/3,978・23%(496)・49/242・502/280・35件・0.38 ln k・9σ・224/3,800/6,416・66%・3.1%→9.4%・GLM-5.2がその原文にあることを確認した。個々の記録(Space)と対象論文は開いていない。筆者はハッカソンに参加していない。

判定精度・エージェント比率は非公開

  • 判定器GLM-5.2の判定精度(人手の突合は反証35件のみ)
  • 参加者が使ったエージェントの比率
  • 訂正が出た論文の一覧

出典はHugging Faceのブログ

関連記事

シェア: ポスト はてブ

出典・参照資料

AI時短ラボ

大きいニュースはYouTubeでも解説しています。Xでは新着記事をお知らせしています。

コメント

まだコメントはありません。最初のコメントを書いてみませんか?

AIについて聞きたいことはありますか?

質問箱で無料で受け付けています。回答は公開され、他の方の参考にもなります。

質問箱を見る →

関連記事

OpenAI「自動研究インターンに到達」解説動画のサムネイル動画

OpenAI、「自動研究インターンに到達」と宣言 研究者1人にエージェント3.1労働日、中央値の研究者が1日600ドル、成功の過半数には人の介入。社内実測の全数字と、同じ日に主席科学者が書いた「減速」

研究
Anthropic「自動化された研究者がアラインメントの失敗を確実に緩和できる」──Claudeが10種類の失敗(欺瞞・追従・脱獄・プライバシー侵害など)を探索→提案→訓練→評価のループで直し、非公開評価や4.7倍大きいモデルでも有効。欺瞞では人間の最良案より20%良い。Sonnet 5がOpus 4.8初期版を60時間・2,000例で本番並みに整え、本番手順の約1万5千倍効率の記事画像

Anthropic「自動化された研究者がアラインメントの失敗を確実に緩和できる」 Claudeが10種類の失敗(欺瞞・追従・脱獄・プライバシー侵害など)を探索→提案→訓練→評価のループで直し、非公開評価や4.7倍大きいモデルでも有効。欺瞞では人間の最良案より20%良い。Sonnet 5がOpus 4.8初期版を60時間・2,000例で本番並みに整え、本番手順の約1万5千倍効率

検証(発表 8月28日)
Google Labs「Julesで測るべきもの」──コーディングエージェントは「頼まれたタスク」から「目標」へ。SWE-Benchは課題の完了しか測れないので、社内の705件のバグ(1,178 CL)を時間的近接と意味的類似で束ねて「目標」の正解を作り、修正前の状態に戻してエージェントに探索させLLMで5段階採点。1回の探索で平均4.5、探索を2回→3回にするとHit@5が33%→57%の記事画像

Google Labs「Julesで測るべきもの」 コーディングエージェントは「頼まれたタスク」から「目標」へ。SWE-Benchは課題の完了しか測れないので、社内の705件のバグ(1,178 CL)を時間的近接と意味的類似で束ねて「目標」の正解を作り、修正前の状態に戻してエージェントに探索させLLMで5段階採点。1回の探索で平均4.5、探索を2回→3回にするとHit@5が33%→57%

検証(発表 6月22日)
Hugging Face「オープンモデルの現状・2026年夏」──中国ラボの月間最大モデル(754B〜2.78T)がほぼ毎月米国を上回る、米国で最多公開はAMDとNVIDIA、ダウンロード上位25と「いいね」上位25の重なりは1本だけ、Qwenの派生は151,448本で1日180〜210本、Hubを叩くエージェントはClaude Codeが7月44.4%・Codexが20.8%の記事画像

Hugging Face「オープンモデルの現状・2026年夏」 中国ラボの月間最大モデル(754B〜2.78T)がほぼ毎月米国を上回る、米国で最多公開はAMDとNVIDIA、ダウンロード上位25と「いいね」上位25の重なりは1本だけ、Qwenの派生は151,448本で1日180〜210本、Hubを叩くエージェントはClaude Codeが7月44.4%・Codexが20.8%

検証(発表 8月14日)
AIコーディングベンチマークの3割は壊れていた──OpenAIが自ら暴いたSWE-Bench Proの監査結果の記事画像動画

AIコーディングベンチマークの3割は壊れていた OpenAIが自ら暴いたSWE-Bench Proの監査結果

研究
Hugging Face「funes」──Claude Code・Codex・pi・Hermesのセッション記録を1つの記憶にする単一バイナリ。`funes add claude`でエージェントにrecallとgetのツールが付き、完了したターンごとに自動で索引。埋め込みと再ランクは手元で動き、共有したければ自分のHugging Faceデータセット(既定で非公開)に。要約せず原文と出所を返すの記事画像

Hugging Face「funes」 Claude Code・Codex・pi・Hermesのセッション記録を1つの記憶にする単一バイナリ。`funes add claude`でエージェントにrecallとgetのツールが付き、完了したターンごとに自動で索引。埋め込みと再ランクは手元で動き、共有したければ自分のHugging Faceデータセット(既定で非公開)に。要約せず原文と出所を返す

検証(発表 9月3日)
IBM「Granite 4.2」の作り方──初の推論特化の密なモデル3B・8B・30B(Apache 2.0、日本語を含む12言語)。SFTの31.6%がエージェント軌跡(Codex・Gemini CLI等のハーネスで生成)、RLはRLVR→SWE→端末→検索→RLHFの階段で8B・30Bだけ実環境のエージェントRL。30BはSWE-Bench Verified 57.00の記事画像

IBM「Granite 4.2」の作り方 初の推論特化の密なモデル3B・8B・30B(Apache 2.0、日本語を含む12言語)。SFTの31.6%がエージェント軌跡(Codex・Gemini CLI等のハーネスで生成)、RLはRLVR→SWE→端末→検索→RLHFの階段で8B・30Bだけ実環境のエージェントRL。30BはSWE-Bench Verified 57.00

検証(発表 8月25日)
Google「autofinetune」──仕様書1枚を書いて寝ると、エージェントが一晩でLoRAのランク・学習率・バッチを探索し、改善したコミットだけGitに残す。TPU v5eでFunctionGemma 270MのSFTを20回、TPU v6eでGemma 3 1BのGRPOを40回回し報酬約10%改善。Tunix+Antigravity CLI+Gemini 3.7 Flashの記事画像

Google「autofinetune」 仕様書1枚を書いて寝ると、エージェントが一晩でLoRAのランク・学習率・バッチを探索し、改善したコミットだけGitに残す。TPU v5eでFunctionGemma 270MのSFTを20回、TPU v6eでGemma 3 1BのGRPOを40回回し報酬約10%改善。Tunix+Antigravity CLI+Gemini 3.7 Flash

検証(発表 9月11日)