Catch-upFlashProve tests whether an AI provider ran the model it promised
A team at Anthropic, EPFL and partner institutions released a prototype for proving an inference result against previously committed model weights. It addresses a question a fluent answer alone cannot settle: which model actually ran?








