研究とモデル 2026年11月4日

Anthropic は 11 月 3 日、検証可能な推論の試作 FlashProve をオープンソースで公開し、H100 一枚で 4,000 億パラメータのモデルのゼロ知識証明を毎秒約 110 トークン分作れるとした。

証明の生成にかかる GPU 時間は通常の推論の約 70 から 95 倍で、数字はすべて Anthropic の自己申告である。検証可能な推論とは、利用者が重みを入手できなくても、ある応答が約束どおりの重みで計算されたことを確かめられる仕組みである。ゼロ知識証明は、計算の中身を明かさずに、すばやく検証できる暗号学的な証明だ。試験の対象は 4,000 億パラメータの混合エキスパートモデル Llama 4 Maverick で、4 ビットに量子化した。H100 一枚で毎秒約 110 トークン分の証明を作り、1,024 トークンの要求一件あたりの証明は約 19 MB になる。検証は CPU だけで行い、24 コアで 17 秒かかる（Anthropic Research、2026-11-03）。Anthropic が挙げた従来の仕組み zkLLM は、130 億パラメータのモデルで毎秒約 2.5 トークンだった。モデルの大きさも量子化もハードウェアも違うので、規模の目安にしかならない。FlashProve が証明するのは「この出力は約束した重みから出た」ことだけで、内容の正しさは証明しない。いまの対象は 1,024 トークンの文脈、整数演算、貪欲デコーディング（各段階で確率の最も高い語だけを選ぶ方式）に限られる。Anthropic は、高速版の検証器に形式的な保証がないこと、証明にかかる時間から情報が漏れうることも限界として挙げた。Anthropic が書く用途は、規制当局がハードウェアが約束どおりのモデルを提供しているかを確かめることと、ルーティング事業者が安いモデルにすり替えていないかを確かめることだ。性能の数字を第三者が再現した例はなく、コードは Apache 2.0 で公開されている。 どう確かめたか →