ما هي مشكلة جائزة الألفية التي سيحلها الذكاء الاصطناعي بعد ذلك؟

سيتم حل هذا السوق وفقًا لمشكلة جائزة الألفية المؤهلة الأولى والتي يعلن مختبر الذكاء الاصطناعي المؤهل عن حل لها بحلول 31 ديسمبر 2027، الساعة 11:59 مساءً بالتوقيت الشرقي.

إذا لم يعلن أي مختبر ذكاء اصطناعي مؤهل عن حل لمشكلة مؤهلة بحلول 31 ديسمبر 2027، الساعة 11:59 مساءً بالتوقيت الشرقي، فسيقرر هذا السوق "لا يوجد حل بحلول 31 ديسمبر 2027". إذا تم الإعلان عن حلول لمشكلتين مؤهلتين أو أكثر في نفس اليوم التقويمي (ET)، فسوف يقوم هذا السوق بحل المشكلة التي يأتي اسمها، كما هو موضح أدناه، أولاً بالترتيب الأبجدي.

المسائل المؤهلة هي، حسب الترتيب الأبجدي، تخمين بيرش وسوينرتون-داير، وحدسية هودج، وP مقابل NP، وفرضية ريمان، ومشكلة وجود يانغ-ميلز والفجوة الجماعية (https://www.claymath.org/millennium-problems/). الإعلانات المتعلقة بوجود Navier-Stokes ومشكلة النعومة لن تكون مؤهلة.

يجب أن يتم إصدار إعلان مؤهل من قبل مختبر ذكاء اصطناعي مؤهل أو ممثل رسمي للمختبر، ويجب أن يعبر عن حل المشكلة؛ لن تكون الإعلانات عن النتائج الجزئية أو التقدم نحو الحل مؤهلة. يجب أن يقدم الإعلان الحل كعمل للمختبر أو باحثيه أو نماذجه بمفرده أو بالاشتراك مع باحثين خارجيين. لن يكون الإعلان عن اعتماد أو تهنئة الباحثين الخارجيين فقط، بما في ذلك الباحثين الذين استخدموا نماذج المختبر أو الحوسبة أو الاعتمادات البحثية، مؤهلاً. لا يلزم الحصول على تأكيد إضافي من معهد Clay Math أو أي منظمة أخرى.

مختبرات الذكاء الاصطناعي المؤهلة هي 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) في وقت الإعلان. لن تكون الإعلانات الصادرة عن أي شركة أو مؤسسة أو فرد آخر مؤهلة.

سيكون مصدر الحل الأساسي لهذا السوق هو المعلومات الرسمية من مختبرات الذكاء الاصطناعي المؤهلة و/أو ممثليها الرسميين؛ ومع ذلك، يمكن أيضًا استخدام إجماع التقارير الموثوقة.