Kevin Buzzard 谈数学与 AI 的边界

2026 年 10 月 2 日，Hugging Face 联合创始人兼首席科学官 Thomas Wolf 在 X 上发帖，提到 Kevin Buzzard 写了一篇很有见地的文章。Buzzard 是 IMO 满分得主、数论学家，也是 Lean 形式化数学的先驱。Wolf 在帖中转述了文章提出的问题：如果数学不只是关于“人类的理解”，那它是关于什么的？以及如果 AI 能力持续指数级增长会发生什么，毕竟“数学是无限的”。目前公开报道仅涉及该文章的发布与上述两个问题，未披露文章的具体论证、结论或后续讨论。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。