I don't have access to the exact agent OpenAI used, and I certainly don't have access to the enormous amount of tokens that were used. That being said, I doubt there was some advanced prompting technique going on here. We've seen AI proofs with the prompts attached, and it's pretty basic stuff like "don't give up".