Thomas Wolf 评 Kevin Buzzard 论 AI 与数学
Very thoughtful piece from Kevin Buzzard (perfect IMO score, number theorist, pioneer of formal maths in Lean)
Kevin Buzzard（IMO 满分、数论学家、Lean 形式化数学先驱）的这篇文章非常发人深省。 如果数学不只是关于“人类的理解”，那它是关于什么的？ 而如果 AI 能力持续指数级增长，鉴于“数学是无限的”，会发生什么？
查看原帖I cannot agree more. Kevin Buzzard made so many points I agree with. But the best one is this "I thus believe that in the future we will reach a new “natural boundary” in mathematics, beyond (and perhaps way beyond) where we are now, but where machines are going to get stuck and where it is not viable to expend any more resources to make the next big leap.…
展开完整原文
I cannot agree more. Kevin Buzzard made so many points I agree with. But the best one is this "I thus believe that in the future we will reach a new “natural boundary” in mathematics, beyond (and perhaps way beyond) where we are now, but where machines are going to get stuck and where it is not viable to expend any more resources to make the next big leap. (...) I believe that the optimal thing to do (...) is to let the machines loose, see what happens, and then begin the journey to where they have stopped." https://t.co/6J55GjyaST
正文
当前显示原文，中文全文译文尚未就绪。
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