Will an AI win the $5 million AI Math Olympiad Prize before August?

XTX Markets has announced a $5,000,000.00 main prize for the first publicly shared AI to perform at a International Math Olympiad (IMO) Gold standard (https://aimoprize.com/). This market will resolve to "Yes" if this prize is awarded by 2024 July 31st 23:59 UTC, according to an announcement by the AI-MO Prize, XTX Markets or the IMO. Otherwise, this market will resolve to "No".