[Terence Tao Warns: AI is Irreversibly 'Mining' Mathematical Open Problems] Renowned mathematician Terence Tao posted on Mathstodon, highlighting a new challenge facing the mathematics community: identifying promising open problems has become a scarce resource. Even mere rumors of someone working on a particular problem can trigger large-scale AI computational power to intervene and 'solve' it prematurely, effectively 'overdrawing' the problem before original research has had a chance to fully develop. He believes that the unrestrained use of AI problem-solving tools, while capable of addressing issues in the short term, could harm the research ecosystem that underpins mathematical progress.