Progress on provable inference for large language models
AI-generated summary Anthropic releases FlashProve, which is an open-source prototype for provable inference using cryptographic zero-knowledge succinct arguments of knowledge. Anthropic says the research aims to accelerate provable inference development and demonstrate that zero-knowledge succinct arguments are practical.