@tao@mathstodon.xyz If the results are independently discovered by others within a few days, then why does priority even matter? I don’t think we should be so concerned with how to assign credit to the “first” person to prompt an LLM into producing a particular proof. As you’ve been saying, let’s entirely separate the credit for production and for digestion/dissemination. The first person to write a nice proof outline or give a good talk on a result doesn’t have to be one of the people who first claimed it. This will also lessen the incentives to rush to post half-baked or undeveloped results.