一位数学家谈 AI 对数学研究的冲击：3D 强非周期单密铺发现引发的反思

数学家 Ioannis Tsiokos 通过邮件宣称在 3D 中发现强非周期单密铺，其预印本与在线材料带有明显的 AI 生成痕迹，但经 Chaim Goodman-Strauss 与 Felix Flicker 提炼后确认结论成立。作者借此反思 AI 介入数学研究：AI 生成的证明往往只给出结论，却缺乏对问题理解的推进与新方法的衍生。