如果数学不仅仅是证明，我们需要更好地庆祝它的其余部分

【HN用户评论摘要】 虽然我理解并强调陶先生的担忧，但我担心这是只见树木不见森林。除非你能声称人工智能永远无法以低得多的成本在智力上达到与任何人类相同的水平，否则还有一个突出的效用问题仍未得到解决。 果然，人工智能可能没有品味或目标，或者许多人类特征，但这与谁是基因这一更棘手（比数学甚至学术界更广泛）的问题无关。 这是一个必要的方向，从我个人对高尔最近关于这个主题的帖子的看法来看。数学正在遭受古德哈特定律的困扰：“当一个度量成为目标时，它就不再是一个好的度量。” 它开始听起来像中世纪的科学——“理解”而不是证明。就像一支在空旷的战场上战败的中世纪军队试图撤退到堡垒中一样，面对机器比人类更好地完成智能任务的前景，人们开始撤退到直觉等被认为是机器无法达到的领域。有些人甚至更进一步开始谈论宗教。我们文明皇冠上的宝石成就开始驱动，这是非常黑格尔式的 雅各布·齐默曼 (Jacob Tsimerman) 声称 [1] 到四月我们可能会拥有超人的解释者，然后呢？[1] https://youtu.be/H7_d_sgui6o?t=4436（带时间戳的网址） 原始链接: https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/