I suspect the AI frontier labs will also soon turn their tools loose on the entire corpus of historical math papers to check for errors. They'll likely find that some major areas of math are built on a very shaky foundation.
That sounds close to what human researchers do as well. Big part of getting grants/doing graduate work is finding a tractable problem. It requires constant refinement of what the scope and direction of focus.
I guess this is the part where you claim to have ever done graduate or higher level research before, that wasn’t just a PI just giving you pre defined, contained side project for a summer.