I think this depends a lot on what you plan to do after your PhD. Moving to industry you will likely not use the direct work of your PhD, and instead you will rely on your broad knowledge, intuition, rigor, ability to learn hard things, and extend that to bring new research developments into practice, all of which are largely unrelated to AI scooping math proofs of prize problems.

I definitely have no dreams of doing research. If I could do anything, I would want to teach, but if that can't happen, I am worried that my skills won't be valuable in industry.