2026 میں AI ریاضی کے کون سے مسائل حل کرے گا؟

2026 میں AI ریاضی کے کون سے مسائل حل کرے گا؟

$62K حجم·до 1 جنوری، 2027
نتائجامکان · قیمت
ریمن ہائپوتھیسس$6K حجم0123456789%
قیمتحصصکل
پی بمقابلہ این پی$2K حجم0123456789%
یانگ ملز$1K حجم0123456789%
ہوج قیاس$17K حجم01234567890123456789%
برچ اور سوئنرٹن ڈائر$13K حجم01234567890123456789%+1 ف.پ.
کولاٹز قیاس$2K حجم0123456789%
مضبوط گولڈباچ قیاس$3K حجم0123456789%
جڑواں پرائم قیاس$971 حجم0123456789%
طاق پرفیکٹ نمبر$2K حجم0123456789%
لیجنڈر کا قیاس$1K حجم0123456789%
Hadwiger-Nelson مسئلہ$3K حجم01234567890123456789%
Hadamard Matrix Conjecture$5K حجم01234567890123456789%
بیل کا قیاس$3K حجم01234567890123456789%
رمسی نمبر R(5,5)$1K حجم01234567890123456789%

اگر ایک اہل 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 پر طے ہوتا ہے۔

2026 میں AI ریاضی کے کون سے مسائل حل کرے گا؟ · Melbo