Post

It's machine learning if it answers math questions. It's artificial intelligence if it writes novel math proofs. It's super intelligence when the contract says you have to call it that.