
Pasar ini akan memutuskan untuk "Ya" jika hasil matematika yang memenuhi syarat tanpa syarat menetapkan bahwa setidaknya 70% dari angka nol nontrivial dari fungsi Riemann zeta terletak pada garis kritis, atau menetapkan hasil yang lebih kuat, termasuk bukti lengkap atau penolakan Hipotesis Riemann, pada pukul 23:59 ET pada tanggal yang ditentukan. Jika tidak, pasar ini akan menjawab "Tidak".
Untuk tujuan pasar ini, "tanpa syarat" berarti bahwa hasil kualifikasi mungkin tidak bergantung pada asumsi Hipotesis Riemann atau dugaan lain yang belum terbukti yang diperlukan agar ambang batas yang disebutkan dapat dipenuhi.
Hasil yang menetapkan batas bawah tanpa syarat sebesar 70% atau lebih akan memenuhi syarat. Hasil yang menghasilkan persentase lebih tinggi, membuktikan bahwa 100% angka nol yang relevan terletak pada garis kritis, atau membuktikan atau menyangkal Hipotesis Riemann sepenuhnya juga akan memenuhi syarat.
Verifikasi komputasi bahwa angka nol tambahan yang terletak pada garis kritis tidak akan memenuhi syarat dengan sendirinya, berapa pun jumlah angka nol yang diperiksa. Hasil bersyarat, argumen heuristik, bukti yang diklaim tanpa verifikasi yang memadai, hasil parsial yang tidak memenuhi ambang batas 70%, atau peningkatan yang tetap di bawah 70% tidak akan memenuhi syarat.
Hasil kualifikasi tidak perlu menyelesaikan tinjauan sejawat atau dipublikasikan secara resmi dalam jurnal akademik pada batas waktu pasar. Makalah, pracetak, laporan teknis, atau karya matematika lainnya yang dipublikasikan untuk umum akan memenuhi syarat jika hasilnya cukup dibuktikan dengan bukti yang menyertainya dan telah menerima validasi atau penerimaan independen yang kredibel dari para ahli yang diakui dalam teori bilangan analitik atau komunitas matematika yang lebih luas. Misalnya, hasil Antropis yang diumumkan pada 10 Agustus 2026, yang menetapkan peningkatan batas bawah tanpa syarat sekitar 67,25% pada proporsi angka nol Riemann zeta di garis kritis, akan memenuhi syarat dalam kriteria ini jika memenuhi ambang batas 70% yang disyaratkan.
Sumber resolusi untuk pasar ini adalah konsensus pelaporan yang kredibel.
“Kemajuan substantif lebih lanjut pada Hipotesis Riemann oleh ___?” adalah pasar prediksi di Melbo. Harga satu unit mencerminkan probabilitas hasil: pada hasil yang benar setiap unit diselesaikan pada $1, pada hasil yang salah pada $0.