以下内容来自 Hacker News 对 Terry Tao（陶哲轩）文章《数学的未来》的讨论。该帖引发了争论：AI 能否不仅给出正确的证明，还能提出真正新颖、优雅的数学思想。一位评论者认为，能力不断提升的 AI 系统已经在解决高度复杂的问题，包括重大的数学难题；进一步发展 AI 的能力，可能给人类带来的益处远大于对其实施限制。其他评论者则回应称，任务的难度不能简单化为衡量智能的标准，并质疑 AI 是否在“大规模搜索”占主导的领域之外，开辟出了有意义的新思想分支。他们还担心 AI 资金集中、学术研究受到影响以及可能造成的失业问题，同时提到了 Jeremy Avigad 参与 Lean 相关工作等事例。