
اگر کوئی AI 1 جنوری 2026 اور 31 دسمبر 2026، 11:59 PM ET کے درمیان the International ریاضی اولمپیاڈ میں گولڈ میڈل حاصل کرتا ہے تو یہ مارکیٹ "ہاں" میں حل کرے گی۔ بصورت دیگر یہ مارکیٹ "نہیں" پر حل کر لے گی۔
قرارداد کا ذریعہ IMO گرینڈ چیلنج (https://imo-grand-challenge.github.io/) اور مصنوعی ذہانت ریاضی اولمپیاڈ (AIMO, https://aimoprize.com/) ہے۔ اگر کوئی ذریعہ یہ ظاہر کرتا ہے کہ کسی AI نے ریزولوشن کی تاریخ سے پہلے چیلنج/انعام جیت لیا ہے، تو یہ مارکیٹ "ہاں" میں حل کرے گی۔
«AI نے 2026 میں IMO گولڈ میڈل جیتا؟» Melbo پر ایک پیش گوئی مارکیٹ ہے۔ حصے کی قیمت نتیجے کے امکان کو ظاہر کرتی ہے: درست نتیجے پر ہر حصہ $1 پر اور غلط نتیجے پر $0 پر طے ہوتا ہے۔