unification programs in math

It seems that programs like the Erlangen program or the Langlands program seek to unify math by bridging certain realms, like number theory, algebra, geometry and topology.
https://ncatlab.org/nlab/show/Erlangen+program
https://ncatlab.org/nlab/show/Langlands+program
https://www.youtube.com/watch?v=xuLCPv6smwo
Will AI be helpful in condensing math concepts in a unifying
framework? On an abstract level natural language and mathematics seem
similar in the sense of a large network of related notions/ideas/concepts, where we seek to differentiate and identify things in an optimal fashion.
Naively you would think that if you want to master a particular topic, like differential geometry, you should be able to feed hundreds of books on the topic or closely related topics into an LLM so it can crunch it down to a single comprehensive overview that can be explored interactively, where the level of detail in the presentation can be customized based on your level of understanding and your background knowledge.