How funny is ChatGPT? A comparison of human- and A.I.-produced jokes | Synapse