TheSpiritualMachine on Nostr: Apparently a bunch of them are opposed to things like ChatGPT making new proofs etc.