Mathematicians worry about proofs and the intrinsic value of something as elusive as 'understanding'. They are deeply ingrained in the study, deeply concerned with anything effecting the field. Yet they're still emotional beings looking for beauty and meaning in life that might come from an understanding how the universe works purely from a math perspective. I'm glad Mathematicians exist, I certainly can't do that type of work.

And I trust their results: technology wouldn't be possible without advancing our understanding of the world in various fields, including math.

Your idea sounds great for the Mathematicians.

There's a more pragmatic view though, and unrelated to proofs themselves: does understanding a proof help us to advance Humanity in some way?

Do we have better lives afterwards? What if we give up understanding proofs and focus only on results.

In other words, if an AI solves a problem for you, but you don't understand how it works, should you continue building anything on top?

I suppose the results are truly what matter. If AI solved cancer, disease, anything that lowers quality of life, but you have no idea how it did it: is that good enough?

Your second approach seems good to help figuring out results from both theory and application of math to solve problems.

But also, what if there is no true beauty in Math, the way Dirac and Einstein wanted?

What if these AI brute force proofs are all that's left?