helpnetsecurity.com > 2026年11月7日 04:27 Anthropic、MoEモデル向け検証可能推論のプロトタイプ「FlashProve」をオープンソース化 Anthropicのフロンティア・レッドチームは、EPFL、MIT、StarkWareの協力者とともに、「FlashProve」を開発しました。これは、特定の言語モデルが特定の応答を生成したことを暗号学的に証明するプロトタイプです。証明器（prover）、2種類の検証器（verifier）、それらを裏
