https://b.hatena.ne.jp/entry/s/www.anthropic.com/research/provable-inference Roy Rinberg (Anthropic), Alex Allain (Anthropic); Alessandro Chiesa (EPFL, StarkWare), Miranda Christ (MIT, RESI), Rahul Dalal (Anthropic STEM Fellows Program, Succinct), Giacomo Fenzi (EPFL), Ben ... https://b.hatena.ne.jp/syu-m-5151/20261105#bookmark-4795348952958708546 FlashProveは「正しい回答」の証明ではない。指定の重みを使った整数モデルの貪欲復号を確かめる仕組みだ。現状は文脈1024トークン。安心という一語で買わず、何を証明し、何を証明しないのかを読む。 2026-11-04T21:48:09Z #nwiizoがいいぞと思った https://b.hatena.ne.jp/InoHiro/20261105#bookmark-4795348952958708546 2026-11-04T18:29:19Z あとで読む https://b.hatena.ne.jp/aku_su1/20261105#bookmark-4795348952958708546 2026-11-04T18:02:06Z https://b.hatena.ne.jp/suzukiMY/20261105#bookmark-4795348952958708546 2026-11-04T17:15:15Z research AI Anthropic https://b.hatena.ne.jp/toritaro/20261104#bookmark-4795348952958708546 AnthropicがAI応答を出したモデルを暗号で証明する試作FlashProveを公開。中継業者のすり替え検知を狙うが、証明コストはモデル実行の約70〜95倍。 2026-11-04T14:56:37Z Tech https://b.hatena.ne.jp/wktk_msum/20261104#bookmark-4795348952958708546 やたらクリプト界隈が色めき立っているな。検証可能なAI、zkSNARKで推論を保証する(本当に正しいモデルからの出力かを確認する)用途での応用が広がる 2026-11-04T11:00:19Z セキュリティ ブロックチェーン crypto Bitcoin Ethereum zkp 数学 https://b.hatena.ne.jp/mkusaka/20261104#bookmark-4795348952958708546 AnthropicはzkSNARK採用のFlashProveを公開し、400Bモデルの推論を重み非公開のまま検証する仕組みと、毎秒約110トークンの性能を示します。 2026-11-03T17:22:50Z AI要約 zkSNARK LLM security research article