Hacker News 讨论了一篇题为“Mathematics has changed. Let's act like it”的帖子，与陶哲轩的博客相关。它认为 AI 正在改变数学，且只要人类理解并在此基础上继续发展，AI 产生的结果仍可成为实质性贡献。评论者就其影响展开辩论：一些人认为数学从手工艺转向工业生产，AI 能更快推进问题；另一些人质疑 AI 证明在人类验证并理解之前是否真正“被解决”，以及机器能否提出新问题或创造概念工具。人们还就专业数学家是否会随着 AI 证明定理而衰落，或数学是否会因应用、理解与新问题生成仍以人类为中心而持续存在产生分歧。有些人将 AI 比作汽车或 Lean 等工具，指出潜在 bug、规模与数学的社会性。总体而言，该帖串体现了对 AI 在数学发现中的角色以及该领域未来所持的乐观、焦虑与不确定性。