用国际象棋和速通类比 AI 数学：「工具辅助数学」需要新规范

ctjlewis · x · 2026-09-11

Trace Woodgrains 写了一篇被认为是对「AI 在数学中当前角色」最清晰的论述：国际象棋和游戏速通早已给出答案——人类选手与人类比、机器与机器比，人类再从机器不可解读的解法中逐步汲取洞见反哺人类竞技。数学正进入同样的世界：「工具辅助数学」不会消失，关键是要像速通圈区分人类榜与 TAS 榜那样，尽早建立它与「人类驱动数学」的互动规范。引用者补充：眼下我们甚至没有办法把两类排行榜分开，Tao（陶哲轩）担心拖太久会出问题。结论是人类创造力不会因机器超越前沿而消失。