Thom_Wolf· @Thom_Wolf · X·· 4 天前AI 评分
Kevin Buzzard：数学不止于人类理解
Kevin Buzzard（IMO 满分、数论学家、Lean 形式化数学先驱）写了一篇非常有深度的文章 如果数学不只是关于"人类理解"，那它关于什么？ 如果 AI 能力持续指数级增长，而"数学是无限的"，会发生什么？
Kevin Buzzard 的这篇文章非常有深度（IMO 满分、数论学家、Lean 形式化数学的先驱）
如果数学不仅仅关乎“人类的理解”，那它关乎什么？
而如果 AI 的能力持续指数级增长，既然“数学是无限的”，又会发生什么？
来源：Thom_Wolf · x.com