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

【HN用户评论摘要】 我想起了1900年巴黎国际数学家大会上庞加莱和希尔伯特之间的著名辩论。就在那时，每个人都决定追随希尔伯特的道路，证明比直觉更受重视。我认为学校和应用大学的现代数学有点失去了这个直观的部分。我试图告诉我的学生，数学首先是一种非常精确的交流语言。有时让那些不喜欢数学的人做事很有趣 这是一个必要的方向，从我个人对高尔最近关于这个主题的帖子的看法来看。数学正在遭受古德哈特定律的困扰：“当一个度量成为目标时，它就不再是一个好的度量。” 我喜欢在法学硕士 https://github.com/htzh/flt_for_ human 的帮助下通过法学硕士证明学习数学。当模型有良好的形式化证明痕迹基础时（即使是由其他模型创建的），模型的表现会令人惊讶。 虽然我理解并强调陶先生的担忧，但我担心这是只见树木不见森林。除非你能声称人工智能永远无法以低得多的成本在智力上达到与任何人类相同的水平，否则还有一个突出的效用问题仍未得到解决。 果然，人工智能可能没有品味或目标，或者许多人类特征，但这与谁是基因这一更棘手（比数学甚至学术界更广泛）的问题无关。 即使我们可以证明/反驳数学中的任何陈述（由于停机问题而不可能），人类仍然需要决定哪个陈述被称为“定理”。定理这个东西是人类发明的，是为了帮助其他人以更简单的方式更好地理解数学结构。 原始链接: https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/