How is this any different from people in any field that are impacted by AI and lose the utility of their skills and endeavors over the past decades? Are we saying that we're running out of problems to solve because of AI and hence it should be stopped? I am not underestimating the importance of the collective knowledge of the mathematics community and the role of mathematics as the enablers of other sciences, but opposing meaningful progress in that discipline or any for that matter feels counter intuitive. I would rather have the mathematics community start collaborating closely with the this newly evolving and powerful tool to expedite humanity's progress.