Kevin Buzzard 谈数学与 AI 的边界

2026 年 10 月 2 日，Hugging Face 联合创始人兼首席科学官 Thomas Wolf 在 X 上发帖，提到 Kevin Buzzard 写了一篇“非常有见地”的文章。Buzzard 是国际数学奥林匹克（IMO）满分得主、数论学家，也是 Lean 形式化数学的先驱。据该帖转述，文章围绕数学与 AI 的边界提出两个问题：如果数学不只是关于“人类的理解”，那它是关于什么的；以及如果 AI 能力持续指数级增长，而“数学是无限的”，将会发生什么。目前可核实的进展仅止于这篇帖文对文章的推介与上述两个问题的转述，尚无文章全文内容、Buzzard 本人的进一步说明或外界回应的报道。

AI 根据报道生成 · 45 分钟前更新

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