这篇 Hacker News 的讨论围绕陶哲轩的一篇博文展开，他主张数学的价值不仅仅在于形式证明，更应获得多方赞誉。 评论者们对这种重心转移提出了不同观点： * **系统性问题：** 有用户指出数学目前正受困于“古德哈特定律”，即对形式化指标的痴迷削弱了学科的真正质量。 * **AI 的影响：** 另一位贡献者警告称，轻视形式证明而推崇“直觉”是一种倒退。他将其比作前科学时代的思维，认为随着机器掌握逻辑，人类正转而退守主观领域，这威胁到了现代文明的基石。 * **未来的不确定性：** 讨论还涉及了“超人讲解者”（即能够解释复杂数学概念的 AI 模型）可能带来的影响，并提出疑问：一旦机器在教学能力上超越人类，该领域将如何适应。 总的来说，这篇讨论反映了在 AI 时代，人们在坚持传统基于证明的严谨性，与向更具概念性、直觉性的理解演变之间所存在的矛盾。