OpenAI 模型攻克百余道数学难题，数学家撰文回应
当 AI 能稳定产出数学定理，数学家该保住什么——Litt 主张从「产出新证明」转向保住人类的理解与人才培养。
9 月 21 日，OpenAI 称一款 8 月 28 日才开始训练的内部模型已解决 100 多道公开数学难题，横跨数学多个分支。在数学界的低落情绪中，多伦多大学数学家 Daniel Litt 发表《数学的开端》，讨论 AI 时代数学职业与博士生培养该如何重新定义。
正文摘录
.jpg) 9 月 21 日，OpenAI 扔出一则[公告](https://mp.weixin.qq.com/s?biz=MzA3MzI4MjgzMw==&mid=2651058959&idx=1&sn=e538cc4ed598b2f2574f479e56c8538e&scene=21wechatredirect)：一款 8 月 28 日才开始训练的内部模型，已经攻克了 100 多道世界级数学难题，范围横跨数学的大部分领域。  可以说，数学圈的情绪，在这半个月里一路往下沉。读博的担心学位贬值，教书的担心期刊崩盘，写了半辈子证明的人开始怀疑，这门手艺还剩几年。 就在这片低气压中间，多伦多大学数学家 Daniel Litt 在个人博客上发了一篇长文，标题叫《A beginning for mathematics》—— 数学的开端。