check out the IMO 2025 prompt in full detail: https://
alphaxiv.org/abs/2507.15855

→ View original post on X — @askalphaxiv