这场在 Hacker News 上的讨论探讨了陶哲轩关于人工智能在数学领域中作用的观点。其中的核心主题是陶哲轩的“经验法则”：一个结果若要被视为完整且可发表，必须能够由人类专家进行解释。 辩论的焦点在于，“数学”是由客观真理定义的，还是由人类理解定义的。一些人认为，即便人工智能生成的证明难以理解，只要它们代表了客观真理或带来了实际突破，就具有巨大的价值。持有这种观点的人将此情况比作国际象棋引擎——即使我们不明白为什么某一步棋是最佳选择，其有效性也是毋庸置疑的。 反之，另一些人则认为，数学的价值在于理解过程中的社会学和教育意义。他们主张，没有人类的理解，证明仅仅是一个“黑箱”，无法推动该领域的发展或赋予未来研究者能力。批评者担心，依赖人工智能可能会使数学家沦为仅仅是机器生成结果的“解释者”，这可能导致一个“不可理解的数学”时代的到来，进而使我们失去精炼和构建抽象概念的能力。归根结底，对于人工智能究竟是会促进数学进步，还是会从根本上改变其本质，学界内部仍存在分歧。