If OpenAI's proposal is true, it strongly implies they accessed Tristan's private session logs. OpenAI's 'Terms of Use' allow using Codex session logs for model improvement. However, using private user sessions to develop research would still be highly controversial.

Separately, Terence Tao noted there is a low probability OpenAI actually solved the general regularity problem.