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