行业动态
x.com ·
@Thom_Wolf
Thomas Wolf 转述 Kevin Buzzard 关于 AI 与数学形式化的思考
Thomas Wolf 分享 Kevin Buzzard（数论学家、Lean 形式化数学先驱）的文章观点：若数学不只关乎“人类理解”，其本质是什么；若 AI 能力持续指数增长，而“数学是无限的”，将会发生什么。转述中引用 Buzzard 的判断——未来数学或出现新的“自然边界”，机器可能在此停滞，届时更优做法是放手让机器推进，再从其停下的地方继续。
AI推荐理由 转述 Kevin Buzzard 关于形式化数学与 AI 边界的观点，含其原文引语（机器或将在数学中触及新的“自然边界”），属研究者观点而非可验证成果；正文为二手转述加截图，无独立证据，故质量中等。对 AI 与数学形式化（Lean）方向有讨论价值。
62
浏览 6,015
点赞 55
评论 7
转发 13
正文
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”?
Bartosz Naskręcki@nasqret
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."
[xenaproject.wordpress.com/2026/10/01/to-…](https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/)
[🔗 View Quoted Tweet](https://x.com/nasqret/status/2105823684812329123)