Comment by aluminum96

The solutions were publicly posted to GitHub: https://github.com/aw31/openai-imo-2025-proofs/tree/main