But this can be verified because the results are public:
https://github.com/aw31/openai-imo-2025-proofs/