Skip to content
Artwork for Intellectually Curious
Intellectually Curious · Monday · 6 min

FlashProve: How Can You Check Which AI Model Ran?

When you send a prompt to an AI service, how could you check which model did the calculation? FlashProve, a research prototype from Anthropic and collaborators, uses cryptography to give the person asking that question something they can verify. The provider first commits to a particular set of model weights. Later, it can produce a proof connecting those weights to a calculation on a given input, while keeping the weights private. We follow the team’s experiment with a 400-billion-parameter model and explore how someone with an ordinary computer can check a result that took a much larger machine to produce. Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information. Sponsored by Embersilk LLC

0:00-6:39

transcript

No transcript — this publisher did not publish one.

show notes

When you send a prompt to an AI service, how could you check which model did the calculation? FlashProve, a research prototype from Anthropic and collaborators, uses cryptography to give the person asking that question something they can verify.

The provider first commits to a particular set of model weights. Later, it can produce a proof connecting those weights to a calculation on a given input, while keeping the weights private. We follow the team’s experiment with a 400-billion-parameter model and explore how someone with an ordinary computer can check a result that took a much larger machine to produce.


Note:  This podcast was AI-generated, and sometimes AI can make mistakes.  Please double-check any critical information.

Sponsored by Embersilk LLC

links1