I disagree.

> AI finding proofs to open problems does not solve at all the question of how to produce new problems, and there is no indication imo that there is way to go with that with AI.

This has not yet been explored with AI only because solving hard problems is where everyone, practicing mathematician or layperson, understands 99.99% of the prestige to be.

AI's attention will not be directed towards generating interesting new conjectures until all the low-hanging prestige-rich fruit of famous decades-old conjectures have been mined, because it makes no economic sense for frontier AI companies to do so.