5 ms·Maybe instead of proofs, we should encourage the publishing of prompts and reasoning traces?by dnhkng 2mo agoMaybe instead of proofs, we should encourage the publishing of prompts and reasoning traces?