Kevin Kelly projects that artificial intelligence systems will develop into distinct specialized varieties, such as models dedicated exclusively to mathematical proofs or language translation