9 月 21 日，OpenAI 扔出一则公告：一款 8 月 28 日才开始训练的内部模型，已经攻克了 100 多道世界级数学难题，范围横跨数学的大部分领域。

可以说，数学圈的情绪，在这半个月里一路往下沉。读博的担心学位贬值，教书的担心期刊崩盘，写了半辈子证明的人开始怀疑，这门手艺还剩几年。

就在这片低气压中间，多伦多大学数学家 Daniel Litt 在个人博客上发了一篇长文，标题叫《A beginning for mathematics》—— 数学的开端。

这个标题多少带点自我纠正的意味。几周前，Litt 刚做过一次名为《The

来源：机器之心