Highlight

No one would even understand the general principles by which they worked. Moreover, as understanding becomes unnecessary to produce results, scientific education and training would lose its pragmatic motivation. A few decades later, there might be no one to understand human-created mathematics of the last generation, let alone machine-created mathematics.