Anthropic: Progress on provable inference for large language models
anthropic.com
anthropic.com
This work is about the case where you trust nobody and therefore require even the token generator to do extra bookkeeping to prove that it's not taking any shortcuts.