Simply having a linked graph of related concepts might show "impact diffs" in theorems. I recall that the Fermat's proof linked several normally disparate area

Simply having a linked graph of related concepts might show "impact diffs" in theorems. I recall that the Fermat's proof linked several normally disparate areas to get to the meat of the issue. Simply tagging those relations to identified sub-fields of study will probably help give guidance to impacts of theories, maybe farm them out to advanced students for quick review.