引用 Thurston 1994 年旧文，争论数学证明的价值与激励之争

marc_lelarge · x · 2026-09-05

Scott Armstrong 主张“这个证明正确但没有价值”的说法很荒谬——证明对了我们直接用就行；若问题在于激励（荣耀已被收割、人们不再想找正确证明），那就应该改激励。marclelarge 引用数学家 WP Thurston 1994 年的话回应：除了内在动机，数学家也受经济与地位驱动，人们想要的不是知识本身而是个人化的理解，以及在荣誉驱动体系里的“定理积分”。这场讨论的背景是 AI 参与数学证明后，人类数学工作的价值与激励如何重新定义。