Comment by gdb

(I work at OpenAI.)

See my tweet about this: https://twitter.com/gdb/status/1105173883378851846