最近的一场 Hacker News 讨论凸显了数学界对人工智能快速融入该领域日益增长的焦虑。 继纳维-斯托克斯方程（Navier-Stokes problem）近期取得进展等突破之后，数学家们越来越直言不讳地表达了人工智能所带来的潜在风险。该讨论引用了一封由包括菲尔兹奖得主詹姆斯·梅纳德（James Maynard）在内的 5000 多名学者签署的公开信，信中表达了对人工智能影响该学科的担忧；此外还提到了针对加州理工学院数学竞赛（Caltech Mathathon）的抗议活动。 该讨论帖还围绕数学研究的本质展开了辩论。一些人担心人工智能会取代人类的直觉，而另一些人则认为数学需要的不仅仅是“形式上经过验证”的答案。对于这些批评者而言，该领域的核心价值在于创造出人类能够理解、推演并在此基础上进行构建的可理解性证明。人们普遍担心，转向人工智能生成的结果可能会使数学沦为单纯的计算，从而剥夺了推动真正科学进步的、以人为中心的“诗意”。