Poznámky k epizodě
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...
