Quick thought on ChatGPT: the value of Automated Reasoning that you must teach is immense. Automated Reasoning w/o teaching learning, much like human reasoning, takes way too damn long to just happen by chance. We teach learning systems with varying success. But we do teach.