Comment by fooker

The purpose of a Phd is to train researchers, not to solve one small problem.

Some math PhDs would spend a year or so doing things with AI and lean, and graduate. And keep doing more math afterwards.

Some others, with more stubborn advisors, will keep trying to find a gap where there's no AI progress.

CS subfields go through this every ten or so years.