> The whole point of discovering knowledge is to enjoy the process and share that with the world to create hope an optimisim in it, not to product like a factory.
This is the crux of everything you've written and I strongly disagree. The purpose of knowledge is the sheer power it brings, and if there's factory scale churning out of it, I'll gladly take it.
As a closer analogy, consider this probability (I'll be stealing from the game Stellaris here): let's say a few hundred years later, when we are spacefaring, we discover a vast cache/library of knowledge of an alien civilization, we won't just pass up on exploiting it because we need to "enjoy the process of acquiring it on our own" or "derive the satisfaction of sharing the discovery with others". No, I and I daresay most others will take as much as we can without restraint in a quest to make all our lives better/more enjoyable.
And if that's ok to do, using machine intelligence to mine/grab any new knowledge or new math as Tao is suggesting here should also be acceptable and welcomed.
This is the crux of everything you've written and I strongly disagree. The purpose of knowledge is the sheer power it brings, and if there's factory scale churning out of it, I'll gladly take it.
As a closer analogy, consider this probability (I'll be stealing from the game Stellaris here): let's say a few hundred years later, when we are spacefaring, we discover a vast cache/library of knowledge of an alien civilization, we won't just pass up on exploiting it because we need to "enjoy the process of acquiring it on our own" or "derive the satisfaction of sharing the discovery with others". No, I and I daresay most others will take as much as we can without restraint in a quest to make all our lives better/more enjoyable.
And if that's ok to do, using machine intelligence to mine/grab any new knowledge or new math as Tao is suggesting here should also be acceptable and welcomed.