在这几年的 AI 浪潮中，陶哲轩是数学领域内最积极推动 AI 运用的重量级人物之一，他刚刚在 Mastodon 写了一条 “长微博”，将 AI 在数学中的运用类比为汽车对出行的作用。他认为，正如汽车的兴起只是拓展了城市规模及出行范围，而不等于人们不再步行，AI 在数学中的运用也将只会拓展数学的范围，而不意味着数学家们无事可做；他还认为，正如一个好的城市规范可以让城市既拥有汽车又适合步行，我们也可以通过规划使 AI 和数学家在数学领域内和谐共存。他这个比喻估计会火起来，不过我觉得他忽略了一个重要方面，那就是：对多数人的日常而言，从 A 到 B 的出行只是生活或工作的 “前奏”，人们抵达 B ——比如家或办公室——之后才展开生活或工作的主体，汽车只是帮助完成 “前奏”，并不取代生活或工作的主体；而 AI 在数学中的运用完全不同，从 A 到 B 乃是数学证明，从而不是 “前奏” 而是数学家的工作本身，AI 做了这部分就等于取代了数学家的这部分工作，虽然数学家未必不再有别的工作可做，但彼此的关系远比汽车与行人更有竞争意味。