AI、数学与文献发布：非技术视角的思考

针对 OpenAI 等 AI 系统在数学证明领域的进展，作者从非技术角度探讨了其对数学研究未来的影响。文中指出 Lean 形式化可能存在转化偏差且生成的论文极难阅读，同时探讨了人类是否会因依赖 AI 丧失创新能力、AI 能否突破已知技巧边界，以及相关学术署名与百万美元奖金归属等伦理问题。