AI 正在“摧毁”数学吗？

文章追问：当 AI 大规模省略推导过程，人还能亲自做些什么。原文未给出具体机构、数字或结论，仅提出这一疑问。