> but I worry that maths is drifting into a direction where it turns more into hermeneutics than actual mathematics

Related to the unexplainability of AI. We're just grasping for more than we can hold in our little working memory.