Interesting, thanks for the links! I had read this part of the article:

All competitors, including OpenAI, were limited to identical hardware provided by AtCoder, ensuring a level playing field between human and AI contestants.

And assumed that meant a pretty restricted (and LLM-free) environment. I think their policy is pretty pragmatic.