alt Hacker NewsBut at that point you have full AGI and its not just today's models. Today's models still need humans to understand things since it builds upon human knowledge.
When you have full AGI of course you no longer need humans to understand math.
> Imagine if humans couldn't understand multivariable calculus, but we had access to an AI system that developed it
Developing multivariable calculus requires much more than just solving problems though, it requires defining an entirely new system and space. That is not the situation mathematicians face today, modern AI cannot do that.
When talking about mathematicians and AI don't use fictive examples, we can look at what AI can do today and extrapolate that they can do more of that tomorrow, that is what we have to work with.
In the case you posit where AGI exists there is no reason to even discuss what is left for humans to do, since AGI is defined as when humans are no longer needed for anything, the AGI can do every bit of thinking humans can.
Replies
It's reasonable to say that current or near future AI can find novel mathematical results and develop applications from those.
The idea of AI stepping from a graph theory/combinatorics innovation to some new and useful algorithm isn't crazy.
So then it sounds like you agree that math has additional utility beyond just human comprehension.
If I understand you correctly, you're just qualifying that that will only be the case when AGI exists. To be clear, I actually disagree with you here because I think it's very plausible to find a use case for human-incomprehensible math proofs before AGI exists. I'm just saying it sounds like you're agreeing with the parent comment that math is not purely about human comprehension.