Rohan Paul
@rohanpaul_ai
陶哲轩昨晚在加州理工「Math 2.0」讲座里的一张幻灯片。
AI 现在能撬开曾经遥不可及的开放问题,而他说这本身不该被单独庆祝。
他的意思是:只追着解题跑,正在伤害数学。
> 「进一步盲目优化『只会解题』,现在已经对数学的长期健康有害。」
> 「与流行看法(或我们自己的部分营销)相反,数学家并不是只盯着解开放问题。」
> 「尤其在纯数学里,开放问题更像『灯塔』:不是要抵达的终点本身,而是用来探索问题周边数学地貌的有用向导。」
> 「试图解题时学到的东西——无论成功、失败还是部分进展——往往比最终解本身更有价值。」
> 「用自动化工具过早抵达这些灯塔,会打断那些『没被走完的路』的探索,并把周边领域变得贫瘠。」
「不加分辨地用 AI 以不可再生的方式解题,会损害该领域的长期健康与进步,也损害向更杂乱、更贴近现实的应用安全迁移的能力。」