Well, Buckmaster says both his and Alpöge's use of Codex was non-institutional, and OpenAI claims the right to train their models on inputs and outputs of non-enterprise users in their service policies [0]. So I'm not sure they were even promised that.

[0] https://openai.com/policies/how-your-data-is-used-to-improve...

▲

senordevnyc 30 minutes ago | parent [-]

Only for ChatGPT, if the user hasn’t opted out. Would mathematicians be using ChatGPT for this kind of work? Genuinely asking, I know nothing about this!

	▲	hodgehog11 a few seconds ago \| parent [-]
		Yes, mathematicians are. And yes, most of my colleagues did not even know the opt-out was an option.