مختبر الذكاء الاصطناعي يعلن عن حل آخر لجائزة الألفية عن طريق...؟

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

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

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