Will at least one of IMO problems mention anything related to Australia?

Question

This year (2025), the IMO (International Mathematics Olympiad) is being held in Australia.

Will at least one problem mention an Australian location, person, currency, etc?

I will be the final judge for whether something related to Australia is mentioned.

Manifold Markets · Accepted Answer

Yes — resolved on Jul 25, 2025 by Manifold Markets prediction market.