AI اگلا ملینیم پرائز کا کون سا مسئلہ حل کرے گا؟

یہ مارکیٹ پہلے کوالیفائنگ ملینیم پرائز کے مسئلے کے مطابق حل کرے گی جس کے لیے ایک اہل AI لیب 31 دسمبر 2027، 11:59 PM ET تک حل کا اعلان کرتی ہے۔

اگر کوئی اہل AI لیب 31 دسمبر 2027، 11:59 PM ET تک کوالیفائنگ مسئلے کے حل کا اعلان نہیں کرتا ہے، تو یہ مارکیٹ "31 دسمبر 2027 تک کوئی حل نہیں" کا حل کر دے گی۔ اگر ایک ہی کیلنڈر دن (ET) پر دو یا زیادہ اہل مسائل کے حل کا اعلان کیا جاتا ہے، تو یہ مارکیٹ اس مسئلے کو حل کر دے گی جس کا نام، جیسا کہ ذیل میں درج ہے، حروف تہجی کی ترتیب میں پہلے آتا ہے۔

کوالیفائنگ مسائل، حروف تہجی کی ترتیب میں، برچ اور سوئنرٹن-ڈائر کنجیکٹ، ہوج کنجیکٹ، پی بمقابلہ NP، ریمن ہائپوتھیسس، اور یانگ ملز کے وجود اور بڑے پیمانے پر فرق کا مسئلہ (https://www.claymath.org/millennium-problems/) ہیں۔ Navier-Stokes کے وجود اور ہمواری کے مسئلے سے متعلق اعلانات اہل نہیں ہوں گے۔

اہل AI لیب یا لیب کے ایک سرکاری نمائندے کے ذریعے اہلیت کا اعلان کرنا چاہیے، اور اس بات کا اظہار کرنا چاہیے کہ مسئلہ حل ہو گیا ہے۔ جزوی نتائج کے اعلانات یا حل کی طرف پیش رفت قابل نہیں ہوگی۔ اعلان میں حل کو لیب، اس کے محققین، یا اس کے ماڈلز کے کام کے طور پر، اکیلے یا باہر کے محققین کے ساتھ مشترکہ طور پر پیش کرنا چاہیے۔ ایک اعلان جو صرف باہر کے محققین کو کریڈٹ یا مبارکباد دیتا ہے، بشمول وہ محقق جنہوں نے لیب کے ماڈلز، کمپیوٹ، یا تحقیقی کریڈٹس استعمال کیے، اہل نہیں ہوں گے۔ کلے میتھ انسٹی ٹیوٹ یا کسی اور تنظیم سے مزید تصدیق کی ضرورت نہیں ہے۔

اہل 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 لیبز اور/یا ان کے سرکاری نمائندوں سے سرکاری معلومات ہوں گی۔ تاہم، قابل اعتماد رپورٹنگ کا اتفاق بھی استعمال کیا جا سکتا ہے۔