[tshadley]

As IMO medalists they would be expected to I'm sure.

But this can be verified because the results are public:

https://github.com/aw31/openai-imo-2025-proofs/