In the future, some mathematics will be proven but not understood.
Frontier Mathematicians will work on proving theorems, and Pure Mathematicians will work on taking proven results and making them understood.
Frontier Mathematicians will work on proving theorems, and Pure Mathematicians will work on taking proven results and making them understood.
My own prediction is the opposite. I believe that a lot more humans will have a much deeper understanding of math, as you have llms to teach us.
However, this will only unlock if we get a hold of our own attention.