
سيختار هذا السوق "نعم" إذا أثبتت نتيجة رياضية مؤهلة دون قيد أو شرط أن 70% على الأقل من الأصفار غير البديهية لدالة زيتا لريمان تقع على الخط الحرج، أو تحدد نتيجة أقوى، بما في ذلك إثبات أو دحض كامل لفرضية ريمان، بحلول الساعة 11:59 مساءً بالتوقيت الشرقي في التاريخ المحدد. وإلا فإن هذا السوق سوف يقرر "لا".
ولأغراض هذا السوق، تعني عبارة "غير مشروطة" أن النتيجة المؤهلة قد لا تعتمد على افتراض فرضية ريمان أو أي تخمين آخر غير مثبت ضروري للحفاظ على الحد المذكور.
ستكون النتيجة التي تحدد أي حد أدنى غير مشروط بنسبة 70٪ أو أكثر مؤهلة. النتيجة التي تحدد نسبة أعلى، تثبت أن 100% من الأصفار ذات الصلة تقع على الخط الحرج، أو تثبت أو تدحض فرضية ريمان تمامًا ستكون مؤهلة أيضًا.
إن التحقق الحسابي من أن الأصفار الفردية الإضافية تقع على الخط الحرج لن يكون مؤهلاً من تلقاء نفسه، بغض النظر عن عدد الأصفار التي تم التحقق منها. النتائج الشرطية، أو الحجج الإرشادية، أو الأدلة المزعومة دون التحقق الكافي، أو النتائج الجزئية التي لا تلبي عتبة 70%، أو التحسينات التي تظل أقل من 70% لن تكون مؤهلة.
لا تحتاج النتيجة المؤهلة إلى إكمال مراجعة النظراء أو نشرها رسميًا في مجلة أكاديمية بحلول الموعد النهائي للسوق. سوف تكون الأوراق البحثية أو ما قبل الطباعة أو التقرير الفني أو أي عمل رياضي آخر متاح للجمهور مؤهلة إذا كانت النتيجة مدعومة بشكل كافٍ بالدليل المصاحب لها وحصلت على تصديق مستقل موثوق به أو قبول من خبراء معترف بهم في نظرية الأعداد التحليلية أو المجتمع الرياضي الأوسع. على سبيل المثال، فإن النتيجة الإنسانية التي أُعلنت في 10 أغسطس 2026، والتي حددت حدًا أدنى محسنًا غير مشروط يبلغ حوالي 67.25% على نسبة أصفار زيتا ريمان على الخط الحرج، سوف تكون مؤهلة بموجب هذه المعايير إذا كانت ستفي بالعتبة المطلوبة البالغة 70%.
سيكون مصدر الحل لهذا السوق هو إجماع التقارير الموثوقة.
«مزيد من التقدم الجوهري في فرضية ريمان بواسطة ___؟» هو سوق تنبؤات على Melbo. يعكس سعر الحصة احتمال النتيجة: عند النتيجة الصحيحة تُسوّى كل حصة عند $1، وعند الخاطئة عند $0.