I can't seem to find anything on OpenAI's crawler agent, so I'm skeptical they're considering robots.txt at all.