Isn’t it deeply exciting that the proofs look so alien?

Isn’t that in itself the new frontier for human understanding?

I would have thought that mathematicians would have found alien forms of maths to be astonishingly compelling, must learn, must know, must understand.

Instead there seems to be a sort of shoulder shrugging lament “we don’t understand it”.

I would barely be able to sleep with excitement at the potential for where this could lead. Like finding an ancient tomb full of answers to our deepest questions along with the promise of more.

How deep does maths go? Is it “solved” or have we just been given tools to delve ever deeper?

Where is their curiosity - don’t the want to find the bottom?