Reddit 网友为「数学界抵制 AI」强力辩护：被解出的难题会杀死探索欲

一位 Reddit 用户用 steel-man 为数学界抵制 AI 解题的情绪强力辩护：许多纯数学证明本身并不「有用」，价值在求解路上的洞察；难题一旦被 AI 解出，数学家追求优雅、连贯解法的动力会被削弱。因此 AI 实验室攻克纯数学问题时应投入算力产出有洞察、可解释的解法路径，而不是直接抛出最终答案、杀死整个问题的研究兴趣。