AI レポート · Anthropic · 2026-11-02 · ブログ・論評
大規模言語モデルの検証可能な推論に関する進展
原題: Progress on provable inference for large language models
Anthropicは、zkSNARKと呼ばれる暗号証明の一種を用いた検証可能な推論の進展を紹介している。主な成果はFlashProveというシステムで、先行するオープンソースのシステムより大幅に高速だとされる。抜粋によると、Llama 4 Maverick（400Bパラメータの混合エキスパートモデル）を4ビット量子化重みで動かした場合、H100 GPU 1基で毎秒約110トークンの速度で証明を生成でき、1,024トークンのリクエストあたりの証明サイズは約19MBである。