计算机学者反思 AI 涉足数学研究：自动化证明对学术探索与直觉洞察的冲击

计算机学者 Craig Kaplan 针对近期有人借助 LLM 发现三维强非周期单密铺事件撰文，反思生成式 AI 对传统纯数学研究范式的深层冲击。他指出 AI 与形式化验证虽能快速产出答案，却往往伴随低质材料且缺乏概念层面的数学洞察，正在剥离学者在漫长求索中获取的心智磨砺与智力愉悦感。