Anthropic, the company behind Claude, shared early research on a new open-source system called FlashProve.  FlashProve aims to let people check which AI model produced a given output. Image Credits: