Illustration Beyond Proof

Suppose you are a maths researcher and you come across a problem, ... most likely, you will feed it to an AI. There are two possibilities: either the AI solves the problem or it does not.

If it solves the problem, you can ask the AI to explain it you. But if it does not solve it, will you really wager 30 years of your life on the possibility that you might be smarter than the AI?

I keep hearing about people spending their entire career on a single problem. And I think that time has ended. I think in Mathematics will be like chess.

I've long been a fan of the way 3b1b illustrates and explains math.

I wonder if something like OpenAI's recent IntelligentUI feature couldn't also be used to creature beautiful, intuitive walkthroughs of otherwise opaque areas of math?