Comment by epestr

And the other an appeal to tradition. There was only one Gauss to scoop and focusing on him misses the larger math culture which Terry might be aware of, where most trust others to not scoop.

And if any mathematician's AI usage on a problem leads to scooping, the volume of agents involved gives them a huge advantage which could prompt mathematicians to not use LLMs.

Though you can say Terry's claim is a slippery slope.