Thomas Wolf· @Thom_Wolf · X·· 3 小时前AI 评分47
AI 导读
Kevin Buzzard（IMO 满分、数论学家、Lean 形式化数学先驱）写了一篇非常有见地的文章 如果数学不只是关于“人类的理解”，那它是关于什么的？ 如果 AI 能力持续指数级增长，又会发生什么——毕竟“数学是无限的”？
正文
Very thoughtful piece from Kevin Buzzard (perfect IMO score, number theorist, pioneer of formal maths in Lean)
if math is not just about “human understanding,” then what is it about?
and if ai capabilities keep growing exponentially what happens since “mathematics is infinite”?
I cannot agree more. Kevin Buzzard made so many points I agree with. But the best one is this "I thus believe that in the future we will reach a new “natural boundary” in mathematics, beyond (and perhaps way beyond) where we are now, but where machines are going to get stuck and where it is not viable to expend any more resources to make the next big leap. (...) I believe that the optimal thing to do (...) is to let the machines loose, see what happens, and then begin the journey to where they have stopped." https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/在 X 查看被引用的帖子
来源：Thomas Wolf · x.com