据Slashdot报道,The Verge的AI记者在近期一篇文章中探讨了人工智能对数学领域的影响。该记者表示,AI在很短的时间内从“非常糟糕”变得“在专业水平上相当出色”,但在某些基础数学问题上依然“非常非常糟糕”,甚至连星期几都算不对。

报道指出,学术数学论文中很多时候并不涉及具体数字,AI如今擅长在不同领域之间建立联系,以新方法应用旧技术。新一代模型似乎达到了“顿悟”的临界点,能够产出与优秀数学家相当的工作,但同时也有无法克服的短板。

对于AI是否会改变数学研究的就业结构和资助结构,受访者表达了担忧。有人希望研究人员能拓展到新的领域或提出新问题,但AI不会这样做,这可能导致领域变得贫瘠。一些研究生在网上的文章中表达了对未来角色的迷茫,他们担心自己会沦为“AI证明检查员”。

当被问及AI是否会让高深数学证明民主化时,许多数学家态度谨慎。他们理论上欢迎民主化,但已厌倦了AI生成或辅助的论文充斥各类出版物和预印本服务器。有数学家称,一周内收到三封邮件,询问某人用ChatGPT或Claude解决某个问题是否靠谱,因为发件人缺乏数学能力去验证。

另一方面,也有积极案例:一个有天赋的本科生在AI辅助下完成了通常研究生才能做到的工作,并产出了合法论文。还有受访者认为,全球范围内获得这类工具的机会有望促进数学研究的普及。但成本问题不容忽视,运行这些AI系统费用高昂。