[Panoramix]

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 your brain before you have an eureka moment.

What hypothetical complementary tools do you think would meaningfully add to a mathematician's toolkit?

[teilo]

You are correct. My comment was irrelevant and unhelpful.