Read some praise for ChatGPT, so I went and checked it out. Quite interesting, if a bit cautious. Realized that my interaction was mostly in the form of questions, which are easy (in principle) for AI to respond to. Switched to assertions.