I recently came across this short super interesting interview with Roger Penrose. Is math invented by humans just like chisels and hammers? Or is mathematics discovered—always out there, somewhere, like mysterious islands waiting to be found?
This does remind one of something Einstein said: “The eternal mystery of the world is its comprehensibility…. The fact that it is comprehensible is a miracle.” and similar words by Paul Dirac too, it is a mystery why math works so well this video does go into some of these things.