@manton What we really need is a captcha based on Godel’s Proof: “click all propositions that are true but unproveable given these axioms.” Send those LLMs right into a tailspin :)