I wonder if Stallman has actually used GPT-4. His opinion seems like a conclusion that a person could arrive at by just reading the specifications.