Thomas Wolf questions AI's growth against mathematics' infinite scope
Original titleVery thoughtful piece from Kevin Buzzard (perfect IMO score, number theorist, pioneer of formal maths in Lean)
AISummary
Thomas Wolf shares Kevin Buzzard's reflections on whether mathematics is about human understanding and what exponential AI growth means for an infinite field. He quotes Buzzard's view that machines may eventually reach a natural boundary where further progress is not worth the resources, and that humans would then take over from there.
Source: Thomas Wolf · x.comPublished · added here