EP85:AI科研,是暴力搜索还是灵光一现?乱谈社·误理嘚啵嘚

EP85:AI科研,是暴力搜索还是灵光一现?

69分钟 ·
播放数11
·
评论数0

“这个问题之所以会悬置八十年而无人能解,根本原因不是这个问题足够难,而是大家都走在了错误的方向上。”
“AI学会的是这种修辞的统计模式,它生产出来的是修辞,不是修辞背后的心理状态。”
“我们其实一直在和一个无法验证的内在世界打交道,GPT 只是让这件事变得更尖锐了。”
“数学的真理并不因为谁证明它而改变。”
“未来可能会出现两种数学:一种是工业化的AI数学,产出一大堆正确但没人读的论文;另一种是手工艺的纯数学。”

当一个悬置了80年的数学猜想,被GPT在40分钟内推翻,人类数学家面临的究竟是技术解放,还是职业危机?
本期,塔塔与老朋友季老师为大家带来了一场硬核又深邃的探讨,从Erdős单位距离猜想的破解全过程聊起,拆解AI是如何打赢这场“跨代数游击战”的,进而深度争辩数学研究中“死胡同”的价值、AI缺乏“亲历性”带来的哲学困境,以及《莱顿宣言》背后数学界对科技巨头剥夺研究自主权的深深忧虑。
AI到底是真懂数学,还是只会“暴力的统计学填空”?
如果你对AI、数学、哲学或是人类知识的未来感兴趣,这期节目绝对不容错过。

【延伸内容】

可在知乎、微信、微博、推特、SubStack搜索“LostAbaddon”,微信公众号搜索“延迟更新”!

【本期听点】

  • 00:01:12 | AI推翻悬置80年的Erdős猜想
    简述Erdős单位距离猜想的历史背景。探讨GPT如何在没有专项训练的情况下,出人意料地推翻了人类数学界坚信了数十年的网格下界。

  • 00:04:02 | 降维打击:GPT跨领域的代数游击战
    详细拆解GPT的解题思路,它跳出了传统的离散几何思维,巧妙利用CM域和Golod-Shafarevich定理,展现了极强的跨领域组合能力。

  • 00:13:24 | 哲学思辨:AI真的有创造力和“理解”吗?
    探讨GPT的推理过程究竟是真正的数学洞察,还是海量算力下的修辞拟合。剖析AI缺乏连续心理状态与真实情绪,对“做研究”本质的影响。

  • 00:29:27 | 试错的价值:数学研究中“死胡同”的意义
    当AI用40分钟解决博士生4年的课题,人类该何去何从?讨论人类在研究中“撞墙”的亲历性代价,这恰恰是AI无法提供的珍贵知识地图。

  • 00:40:15 | 《莱顿宣言》:数学界面临的五大核心危机
    深度解读《莱顿宣言》,探讨AI时代带来的错误证明泛滥、幽灵引用、审稿系统崩溃,以及科研议程被科技巨头剥夺等严峻现实。

  • 00:58:46 | 范式转移的阵痛:我们正在交出控制权吗?
    总结AI时代数学界的迷茫与方向感缺失。呼吁大众关注,这不仅是单一学科内部的危机,更是整个人类知识生态面临的巨大转折。

【制作团队】

💡 注:本期节目声音由塔塔独家研发的“AI演播室 Karajan Studio v1.0”制作,文本原创,声音克隆自真实好友。想让你的声音也加入播客?听完节目找我们!