For the case of Propositional Logic, ChatGPT reflects the current epistemological crisis. When asking for help on a question, it could not properly apply the Law of the Excluded Middle [1].
As a Brazilian, I believe the problem is that we have a culture of "gratitude" towards the government. We quietly and silently thank God that we received whatever benefit and pray that they will keep giving us that. But a tiny bit of economical education, and an open eye to the frequent corruption scandals teaches one that there is more than enough money for a decent salary for academic workers.
I haven't used them in big codebases, but they were also able to help me understand the code they generated. Isn't this feasible (yet) on big codebases?
Yesterday I spent the entire day working on a lib to create repos in Github from inside Emacs.
It was the first time in 3y that I had touched it.
When googling, I saw potential candidates that were much better than my simple one.
But I kept going, for the pleasure of making my own thing.
I learned a lot, and felt very accomplished, even if, at the end, it was messy, and I'll have to go back and reorganize it.
It feels like making _my_ thing, even if it is drawing my copy of Monalisa.