No, "all math" will not be linked up like this some day, because that is impossible. Not all mathematical truths can be proven to be true.
This comment is irrelevant and has high potential for derailing the discussion off-topic. Mr. Baez here is a world class mathematician; surely he is more than familiar with formally undecidable propositions. This post is about the future of mathematics, and what tools might become available. It also showcases the complexity of this discipline and how much material you have to be familiar with and have in the "RAM" of…
You are correct. My comment was irrelevant and unhelpful.