rohanpaul_ai· @rohanpaul_ai · X·· 10 小时前AI 评分
陶哲轩在 Caltech 演讲中批评单纯追求用 AI 解题
Rohan Paul 转发陶哲轩在 Caltech 演讲 Math 2.0 的幻灯片内容。陶哲轩指出,进一步盲目优化问题求解对数学的长期健康有害,数学家并非只专注于解决开放问题;开放问题在纯数学中是灯塔而非终点,尝试解题过程中的经验往往比最终解本身更有价值,而用自动化工具过早抵达这些灯塔会破坏对其他路径的探索。
陶哲轩在他昨晚于加州理工学院“Math 2.0”讲座上的幻灯片
AI 现在已经能攻克曾经遥不可及的问题,而他说,这本身并不是值得庆祝的事。
他的核心观点是:只追求解题正在损害数学。
> “进一步盲目优化解题能力本身,如今正在对数学的长期健康发展造成实际危害。”
> “与普遍看法(或我们自己的一些宣传)相反,数学家并非一心只想着解决悬而未决的问题。”
> “尤其在纯数学领域,开放问题如同‘灯塔’:它们本身并非需要抵达的目的地,而是探索这些问题周边数学版图的有用指引。”
> “在尝试解决这些问题的过程中所获得的教训——无论最终成功、失败还是取得部分进展——往往比问题本身的最终解答更有价值。”
> “用自动化工具过早抵达这些灯塔,可能会扰乱对未走路径的探索,并使周边领域陷入荒芜。”
“不加区分地以不可持续的方式使用 AI 解题,会损害该领域的长期健康与进步,也不利于向更复杂混乱的现实应用安全迁移。”
来源:rohanpaul_ai · x.com