I agree that if the AI is just big neural nets, python (or several other languages) are fine.
This language is designed for writing AI’s that search for proofs about their own behavior, or about the behavior of arbitrary pieces of code.
This is something that you “can” do in any programming language, but this one is designed to make it easy.
We don’t know for sure what AI’s will look like, but we can guess enough to make a language that might well be useful.
I agree that if the AI is just big neural nets, python (or several other languages) are fine.
This language is designed for writing AI’s that search for proofs about their own behavior, or about the behavior of arbitrary pieces of code.
This is something that you “can” do in any programming language, but this one is designed to make it easy.
We don’t know for sure what AI’s will look like, but we can guess enough to make a language that might well be useful.