> It seems like alot of scientific advancements occurred by someone applying technique X from one field to problem Y in another.

Yeah, you should look into the Langlands project sometime

I'm thinking once we have much of the math literature formalized it's going to be possible to mine commonalities like that. Think of it as automated refactoring, applied to math.