I find ChatGPT impressive, but this is a clear over exaggeration. Here's ChatGPT both being factually wrong (Rawls says the opposite of what it claims) and then totally failing to formalize an argument.