AI批量写出数学证明，数学家要失业了吗？

471人已来过

AI开始批量生成数学证明，数学家陶哲轩提出“证明消化不良”：结果产出得越来越快，数学家却未必有时间逐篇核验、理解。即便证明通过程序检查，还可能存在题目表述偏差或验证工具漏洞。

有人担心数学家的解题工作会被取代，也有人认为，提出好问题、解释证明为何成立，将变得更重要。

如果AI比人更会解题，数学家接下来该做什么？

关联源流

虎嗅报童

获取最新行业资讯，十五分钟尽知天下事。本栏目由虎嗅内容运营团队出品。