Progress on provable inference for large language models

Sharing progress on a powerful type of cryptographic proof known as a zkSNARK, which is uniquely fit for provable inference. When you talk to a friend in person, you have many ways to know it is really them: you can see them, hear them, shake their hand.

Summary drawn from Anthropic's own description of the story.