EP85：AI科研，是暴力搜索还是灵光一现？

“这个问题之所以会悬置八十年而无人能解，根本原因不是这个问题足够难，而是大家都走在了错误的方向上。”
“AI学会的是这种修辞的统计模式，它生产出来的是修辞，不是修辞背后的心理状态。”
“我们其实一直在和一个无法验证的内在世界打交道，GPT 只是让这件事变得更尖锐了。”
“数学的真理并不因为谁证明它而改变。”
“未来可能会出现两种数学：一种是工业化的AI数学，产出一大堆正确但没人读的论文；另一种是手工艺的纯数学。”
当一个悬置了80年的数学猜想，被GPT在40分钟内推翻，人类数学家面临的究竟是技术解放，还是职业危机？
本期，塔塔与老朋友季老师为大家带来了一场硬核又深邃的探讨，从Erdős单位距离猜想的破解全过程聊起，拆解AI是如何打赢这场“跨代数游击战”的，进而深度争辩数学研究中“死胡同”的价值、AI缺乏“亲历性”带来的哲学困境，以及《莱顿宣言》背后数学界对科技巨头剥夺研究自主权的深深忧虑。...去小宇宙查看完整单集简介
在小宇宙查看该单集文稿