Other mathematicians for the last ten years : Open math problems being non renewably mined by Terrence Tao.
Jokes aside, this seems like a pretty weird take. What's stopping mathematicians to make this renewable?
Why not spend some time and effort (presumably using AI) to pose new open problems that are fundamental in nature?
As a field, math could start crediting the person who comes up with a great question, rather than the AI brute forcing a LEAN proof.