Thomas Wolf 分享 Kevin Buzzard 对 AI 与数学的思考
中文全文 · AI 翻译
凯文·布扎德的一篇非常有深度的文章（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”? https://t.co/wFp2fec52Q