
سيختار هذا السوق "نعم" إذا أعلن أحد مختبرات الذكاء الاصطناعي المؤهلة عن حل للمشكلة المحددة في العنوان بحلول 31 ديسمبر 2026، الساعة 11:59 مساءً بالتوقيت الشرقي. وإلا فإن هذا السوق سوف يقرر "لا".
يجب أن يتم إصدار إعلان مؤهل من قبل مختبر ذكاء اصطناعي مؤهل أو ممثل رسمي للمختبر، ويجب أن يوضح أن المشكلة المحددة في العنوان قد تم حلها؛ لن تكون الإعلانات عن النتائج الجزئية أو التقدم نحو الحل مؤهلة. يجب أن يقدم الإعلان الحل كعمل للمختبر أو باحثيه أو نماذجه بمفرده أو بالاشتراك مع باحثين خارجيين. لن يكون الإعلان عن اعتماد أو تهنئة الباحثين الخارجيين فقط، بما في ذلك الباحثين الذين استخدموا نماذج المختبر أو الحوسبة أو الاعتمادات البحثية، مؤهلاً. ليس هناك حاجة إلى تأكيد إضافي من معهد كلاي للرياضيات أو أي منظمة أخرى.
مختبرات الذكاء الاصطناعي المؤهلة هي Anthropic، Google، SpaceXAI، Alibaba، OpenAI، Baidu، Z.ai، Xiaomi، Moonshot، Meta، Nvidia، DeepSeek، MiniMax، Meituan، Amazon، ByteDance، Mistral، Tencent، StepFun، Microsoft، Harmonic، Axiom Math، Math Inc، Safe Superintelligence، Thinking Machines Lab، Reflection AI، الدورية Labs، Apple، IBM، Huawei، Samsung، Oracle، Salesforce، وCohere، وAI21 Labs، وReka، وSakana AI، وPoolside، وMagic، وPerplexity، وAnysphere، وKuaishou، وSenseTime، وiFlytek، وBaichuan، و01.AI، جنبًا إلى جنب مع الشركات التابعة لهم وأقسام الأبحاث، وأي شركة أخرى لديها نموذج مدرج في لوحة المتصدرين MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) في وقت الإعلان. لن تكون الإعلانات الصادرة عن أي شركة أو مؤسسة أو فرد آخر مؤهلة.
سيكون مصدر الحل الأساسي لهذا السوق هو المعلومات الرسمية من مختبرات الذكاء الاصطناعي المؤهلة و/أو ممثليها الرسميين؛ ومع ذلك، يمكن أيضًا استخدام إجماع التقارير الموثوقة.
«ما هي المسائل الرياضية التي سيحلها الذكاء الاصطناعي في عام 2026؟» هو سوق تنبؤات على Melbo. يعكس سعر الحصة احتمال النتيجة: عند النتيجة الصحيحة تُسوّى كل حصة عند $1، وعند الخاطئة عند $0.