This market resolves to "YES" if the XTX Markets AI-MO Advisory Committee acknowledges the achievement of progress milestone(s) that sum to at least $1M in AI-MO prizes by the close of the 65th IMO in Bath England on Sunday July 21, 2024.

An acknowledgment will satisfy "YES" condition if it is made by a representative of XTX Markets or the AI-MO Advisory Committee either in person at the IMO, or by press release or other public statement ahead of or during the IMO. The current draft agenda for the IMO shows the Closing Ceremony from 15:00-17:00 GMT on July 21st. If the IMO agenda is extended or changed, then trading will still close on July 21st, but market resolution will be delayed until after the IMO ends.

• https://aimoprize.com/
  

• XTX Markets is launching a new $10mn challenge fund, the Artificial Intelligence Mathematical Olympiad Prize (AI-MO Prize). The fund intends to spur the development of AI models that can reason mathematically, leading to the creation of a publicly-shared AI model capable of winning a gold medal in the International Mathematical Olympiad (IMO).

• The grand prize of $5mn will be awarded to the first publicly-shared AI model to enter an AI-MO approved competition and perform at a standard equivalent to a gold medal in the IMO.

• There will also be a series of progress prizes, totalling up to $5mn, for publicly-shared AI models that achieve key milestones towards the grand prize.

• The prizes will be designed by an AI-MO Advisory Committee, including mathematicians, deep learning experts and experienced Olympiad problem-setters.

• The first AI-MO approved competitions will open to participants in early 2024. There will be a presentation of progress at the 65th IMO, which will be held in Bath, England in July 2024.