- Apakah akan ada kemajuan substantif lebih lanjut terkait Hipotesis Riemann hingga 31 Desember 2026?10¢10%
OpenAI’s October 6, 2026 release of 719 AI-generated math papers, including a claimed proof of the quasi-Riemann hypothesis establishing a zero-free region for the zeta function and Dirichlet L-functions with real part greater than 7/8, has driven recent trader attention. Mathematicians including James Maynard have called the result landmark for analytic number theory, as it extends prior bounds and rules out certain Siegel zeros while generalizing across related functions. Verification remains ongoing, with machine-checkable Lean formalizations released but limited independent human review completed so far. Earlier AI-assisted work, such as Anthropic’s Claude improving lower bounds on the proportion of critical-line zeros to over 67 percent in August 2026, illustrates growing large language model contributions to number theory, though full resolution of the Riemann hypothesis itself stays open.
Aturan
Pasar ini akan diselesaikan dengan hasil "Ya" jika, paling lambat pada 23.59 ET pada tanggal yang ditentukan, suatu hasil matematika yang memenuhi syarat secara tanpa syarat menetapkan bahwa setidaknya 70% dari nol nontrivial fungsi zeta Riemann terletak pada garis kritis, atau menetapkan hasil yang lebih kuat, termasuk pembuktian atau penyangkalan lengkap Hipotesis Riemann. Jika tidak, pasar ini akan diselesaikan dengan hasil "Tidak". Untuk keperluan pasar ini, "tanpa syarat" berarti hasil yang memenuhi syarat tidak boleh bergantung pada asumsi Hipotesis Riemann atau konjektur lain yang belum terbukti dan diperlukan agar ambang yang disebutkan dapat terpenuhi. Hasil apa pun yang menetapkan batas bawah tanpa syarat sebesar 70% atau lebih akan memenuhi syarat. Hasil yang menetapkan persentase lebih tinggi, membuktikan bahwa proporsi nol terkait yang terletak pada garis kritis adalah: 100%, atau dengan cara lain membuktikan atau menyangkal Hipotesis Riemann secara lengkap, juga akan memenuhi syarat. Verifikasi komputasional bahwa nol-nol individual tambahan terletak pada garis kritis tidak akan memenuhi syarat jika berdiri sendiri, berapa pun jumlah nol yang diperiksa. Hasil bersyarat, argumen heuristik, klaim pembuktian tanpa verifikasi yang memadai, hasil parsial yang tidak mencapai ambang 70%, atau peningkatan yang masih di bawah 70% tidak akan memenuhi syarat. Hasil yang memenuhi syarat tidak harus telah menyelesaikan penelaahan sejawat atau diterbitkan secara resmi di jurnal akademik sebelum tenggat pasar. Makalah, prapublikasi, laporan teknis, atau karya matematika lain yang dirilis dan tersedia untuk umum akan memenuhi syarat jika hasilnya cukup didukung oleh bukti yang menyertainya serta telah menerima validasi independen yang kredibel atau pengakuan dari para ahli ternama dalam teori bilangan analitik atau komunitas matematika yang lebih luas. Sebagai contoh, hasil Anthropic yang diumumkan pada 10 Agustus 2026, yang menetapkan batas bawah tanpa syarat yang lebih baik, sekitar 67.25%, untuk proporsi nol fungsi zeta Riemann yang terletak pada garis kritis, akan memenuhi syarat berdasarkan kriteria ini jika mencapai ambang 70% yang diwajibkan. Sumber penyelesaian pasar ini adalah konsensus dari pemberitaan yang kredibel.
Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.