Maybe instead of proofs, we should encourage the publishing of prompts and reasoning traces?