___ tarihine kadar Riemann Hipotezinde daha fazla önemli ilerleme kaydedilecek mi?
Nitelikli bir matematiksel sonuç, Riemann zeta fonksiyonunun önemsiz olmayan sıfırlarının en az %70'inin kritik çizgide bulunduğunu koşulsuz olarak tespit ederse veya belirtilen tarihte saat 23:59 ET'ye kadar Riemann Hipotezinin tam kanıtı veya çürütülmesi dahil daha güçlü bir sonuç oluşturursa, bu piyasa "Evet" olarak çözümlenecektir. Aksi takdirde bu piyasa "Hayır"a karar verecektir.
Bu pazarın amaçları doğrultusunda, "koşulsuz olarak", yeterli sonucun Riemann Hipotezi'nin veya belirtilen eşiğin korunması için gerekli diğer kanıtlanmamış varsayımların varsayılmasına bağlı olamayacağı anlamına gelir.
Koşulsuz olarak %70 veya daha yüksek bir alt sınır belirleyen bir sonuç geçerli sayılacaktır. Daha yüksek bir yüzdeyi belirleyen, ilgili sıfırların %100'ünün kritik çizgide bulunduğunu kanıtlayan veya Riemann Hipotezini tamamen kanıtlayan veya çürüten bir sonuç da geçerli sayılacaktır.
Ek bireysel sıfırların kritik çizgide bulunduğunun hesaplamalı doğrulaması, kontrol edilen sıfırların sayısına bakılmaksızın tek başına yeterli olmayacaktır. Koşullu sonuçlar, buluşsal argümanlar, yeterli doğrulama olmadan iddia edilen kanıtlar, %70 eşiğini karşılamayan kısmi sonuçlar veya %70'in altında kalan iyileştirmeler değerlendirmeye alınmayacaktır.
Nitelikli bir sonucun hakem değerlendirmesini tamamlaması veya piyasadaki son teslim tarihine kadar resmi olarak bir akademik dergide yayınlanmış olması gerekmez. Kamuya açıklanmış bir makale, ön baskı, teknik rapor veya kamuya açık başka bir matematiksel çalışma, sonucun beraberindeki kanıtlarla yeterince doğrulanması ve analitik sayılar teorisinde veya daha geniş matematik topluluğunda tanınmış uzmanlardan güvenilir, bağımsız bir doğrulama veya kabul alması durumunda geçerli sayılacaktır. Örneğin, 10 Ağustos 2026'da açıklanan ve kritik çizgideki Riemann zeta sıfırlarının oranına göre yaklaşık %67,25'lik iyileştirilmiş bir koşulsuz alt sınır belirleyen Antropik sonuç, gerekli %70 eşiğini karşılaması halinde bu kriterlere uygun olacaktır.
Bu pazarın çözüm kaynağı güvenilir raporlama konusunda fikir birliği olacaktır.
“___ tarihine kadar Riemann Hipotezinde daha fazla önemli ilerleme kaydedilecek mi?”, Melbo üzerindeki bir tahmin piyasasıdır. Bir payın fiyatı sonucun olasılığını yansıtır: doğru sonuçta her pay $1 üzerinden, yanlış sonuçta $0 üzerinden hesaplanır.