Thom_Wolf· @Thom_Wolf · X·· 4 天前AI 评分
Kevin Buzzard：数学不止于人类理解
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”?
来源：Thom_Wolf · x.com