X：Thomas Wolf（Hugging Face 联创/CSO） (@Thom_Wolf)· X：Thomas Wolf（Hugging Face 联创/CSO） (@Thom_Wolf)·· 3 天前AI 评分42
Kevin Buzzard 谈数学与 AI 的边界
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”?