"If you just waited a year, would some other AI produce that same proof independently?"

I had a conversation about this very problem last November, with a visiting mathematician. It's essentially signaling a deflationary spiral in intellectual work: why bother doing the work now, when it will take half as much effort a year from now?

This is perhaps always a possible stance, but it's exacerbated when some proportion of your own agency is handed over to, well, agents.