对 AI 介入数学研究的哀叹

数学家 Ioannis Tsiokos 用 LLM 发现 3D 强非周期单密铺，其预印本与在线材料通篇带有 AI slop 痕迹，最终由 Chaim Goodman-Strauss 和 Felix Flicker 提炼出关键思路并发布在 arXiv。作者借此反思 AI 生成证明虽能给出结论，却缺少人类在解题过程中获得的洞见与新方法。