FlashProve– tag –

はじめに 　Anthropicが2026年11月2日、AIの回答が特定のモデルによって生成されたことを暗号技術で証明する「証明可能な推論」の研究成果を公開しました。中心は、オープンソースの試作システム「FlashProve」です。本稿では、その仕組みと性能、想定され...