
اگر ایک اہل AI لیب 31 دسمبر 2026، 11:59 PM ET تک عنوان میں بیان کردہ مسئلے کے حل کا اعلان کرتی ہے تو یہ مارکیٹ "ہاں" میں حل کر دے گی۔ دوسری صورت میں، یہ مارکیٹ "نہیں" پر حل کرے گا.
اہل AI لیب یا لیب کے ایک سرکاری نمائندے کے ذریعے اہلیت کا اعلان کیا جانا چاہیے، اور اس بات کا اظہار کرنا چاہیے کہ عنوان میں بیان کردہ مسئلہ حل ہو گیا ہے۔ جزوی نتائج کے اعلانات یا حل کی طرف پیش رفت قابل نہیں ہوگی۔ اعلان میں حل کو لیب، اس کے محققین، یا اس کے ماڈلز کے کام کے طور پر، اکیلے یا باہر کے محققین کے ساتھ مشترکہ طور پر پیش کرنا چاہیے۔ ایک اعلان جو صرف باہر کے محققین کو کریڈٹ یا مبارکباد دیتا ہے، بشمول وہ محقق جنہوں نے لیب کے ماڈلز، کمپیوٹ، یا تحقیقی کریڈٹس استعمال کیے، اہل نہیں ہوں گے۔ Clay Mathematics Institute یا کسی دوسرے ادارے سے مزید تصدیق کی ضرورت نہیں ہے۔
اہل AI لیبز ہیں Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Mainthicking, Mainthicking مشینیں لیب، ریفلیکشن AI، پیریڈک لیبز، ایپل، IBM، Huawei، Samsung، Oracle، Salesforce، Cohere، AI21 Labs، Reka، Sakana AI، Poolside، Magic، Perplexity، Anysphere، Kuaishou، SenseTime، iFlytek، Baichuan، اور ان کے ذیلی وژن، Baichuan، اور تحقیق کے ساتھ۔ اعلان کے وقت MMLU-pro لیڈر بورڈ (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) پر درج ماڈل کے ساتھ کوئی دوسری کمپنی۔ کسی دوسری کمپنی، تنظیم، یا فرد کی طرف سے اعلانات اہل نہیں ہوں گے۔
اس مارکیٹ کے لیے بنیادی ریزولوشن کا ذریعہ اہل AI لیبز اور/یا ان کے سرکاری نمائندوں سے سرکاری معلومات ہوں گی۔ تاہم، قابل اعتماد رپورٹنگ کا اتفاق بھی استعمال کیا جا سکتا ہے۔
«2026 میں AI ریاضی کے کون سے مسائل حل کرے گا؟» Melbo پر ایک پیش گوئی مارکیٹ ہے۔ حصے کی قیمت نتیجے کے امکان کو ظاہر کرتی ہے: درست نتیجے پر ہر حصہ $1 پر اور غلط نتیجے پر $0 پر طے ہوتا ہے۔