看理想
AI经济学:像经济学家一样思考(增补版)
梁捷
你好,我是梁捷。今天我们继续聊聊AI经济学。
今天是一期番外节目。因为我们最近一直在聊教育。而最近数学界也发生了几件大事,让我觉得有必要重新讨论AI与知识生产的关系。
那过去谈AI做研究,大家通常关心它能不能解决具体问题。但是现在有一些数学家开始担心,机器解决问题的速度,已经远远超过学术共同体理解和消化这些结果的速度。同时,机器解决的问题也不见得是学术共同体特别关心的问题。这会影响学术研究本身,同时也引发了我的一些感触。所以,今天就想借这个机会和大家分享一下。

AI剽窃争议

首先是纳维耶-斯托克斯方程被解决。这是一件大事。这个方程简称NS方程,它主要是用于描述流体如何运动,在气象学和工程当中都有非常广泛的用途。数学家长期研究的问题就是,在一定条件下,原本平滑的三维流动,能否始终保持平滑。这与方程会不会在有限时间内出现奇点有关。这个问题是千禧年,就是2000年七大数学难题之一。七大数学难题就是七个猜想,这里面只有庞加莱猜想被解决了,剩下六个都还没有明确的结果。像北大著名的韦神,他的研究方向就是NS方程。但现在NS方程的研究出现了转机。
纽约大学的数学家巴克马斯特与他的合作者阿尔珀格正在做相关的研究。阿尔珀格任职于Anthropic,但是他的合作者纽约大学的巴克马斯特就强调说,两个人一起研究NS方程,这是阿尔珀格的个人工作,与他所任职的公司无关。在研究的过程当中,他们也使用了包括Claude、包括Codex在内的很多种AI工具。目前两个人公开的成果就包括了带平滑外力的三维不可压缩欧拉方程爆破,但这两个人他们从来没有宣布说我们已经完整的解决了NS方程。巴克马斯特别就说明,他们沿用的基本的思路来自于更早的数学研究,是一步一步积累走到这一步。他们做的欧拉方程当然与NS方程是密切相关的,但是还不能说他们解决了NS方程问题。
本集编辑:ZY
2026.09.18

相关推荐

精选评论

共 5 条
  • 小新老师
    3天前

    AI目前对于数学和物理的解密是“粗暴”的,而且很多是难以还原出人类可以借鉴的思路。人类是“小数据”+“直觉”,AI是“大数据”+“多条歪路”。人类的思路可以迁移和拓展,AI的目前更多是“就事论事”。

  • 再见。我走了。
    12小时前

    梁捷老师对AI的思考实在太可贵了。希望被更大层面的讨论和关注。

  • 133****4757
    2天前

    我觉得梁老师所说的这些AI的威胁真不算什么威胁。例如AI喜欢给高概率众数的答案,而不会去从长尾中取冷门答案作答。这不奇怪啊,谁让你问的问题如此含糊。这种问题你去问一百个人,估计也会有类似的结果。但凡加上一点个人偏好,或给AI些许个性提示,AI就会给出不同的答案。好的答案和好的提问有关。所以想要好答案,应该不断修正自己的问题才对。而不应该苛求回答者的中庸。

    133****4757 :数学证明中,如果AI回答“显而易见”,而人类挠破头都没想明白的话,为什么不拿出“让AI给高中生讲康德”的精神,好好“拷问”AI,让它拆解拆解再拆解,举例举例再举例呢?

  • 羽鋒
    3天前

    非严肃小评论: 对于普通人,作为数学这一社会行为成果的受益者,是 活生生的人做出的成果,还是 关在 “中文屋”里的无论什么东西的成果,只要产生同样的逻辑效果,是否有 刻板意义上的“理解” 存在于生物意义上的某人心中,并不重要。 对人而言,最终的终点,可能是“放弃理解”。有 效果意义上的 “全能理解机器”存在,人 最终放弃 “理解” ,其实也只是放弃了 对“理解”的自以为是,放弃了 主体优越感而已。 主体智能 到 取用智能,反而可能带来绝对的智能民主化--从垄断神权以来的知识权力的完全消解--如果智能取用权利没有被垄断的话(这不可能!)。

  • fvb1
    3天前

    对于学术伦理和文学方面的观点很认可。不过有两点没太理解。 一是我理解的数学新的证明突破,是明确可证伪的,发现了就是发现了,没有就是没有。如果说AI证明了新的定理,且人类审稿可理解且正确,世界上就多了一个真理。至于这个真理是否被人认为重要我倒觉得不太重要了,毕竟没人能预测未知的东西的重要性吧?多少有用且伟大的发现和发明源于不起眼的小突破。而如果说AI给的结论并未能由人类思维复现推理出来,那对学术规范来说,也不能审核通过发表吧?所以导致的一个结果是否可能是,人类需要更多的数学家来跟上AI的思维? 二是实操性的疑惑。老师说AI证明里说显而易见的过程,但人类理解起来很困难。这里是否考虑过人类多次追问和对话后也还无法理解AI的思维?由于确实没能力和AI讨论如此前沿且无明确结论的问题,所以有这疑惑。或许真正的重要变量是时间?如果持续追问和跟上AI思维所需的时间超过人类无法承受的时间,那确实和永远不可知没区别了。