- Apakah CMI akan menyatakan masalah Navier-Stokes telah terpecahkan paling lambat 31 Desember 2026?4¢4%
- Apakah CMI akan menyatakan masalah Navier-Stokes telah terpecahkan paling lambat 31 Desember 2027?14¢14%
- Apakah CMI akan menyatakan masalah Navier-Stokes telah terpecahkan paling lambat 31 Desember 2028?38¢38%
OpenAI’s September 2026 announcement that an internal multi-agent AI system produced a Lean-formalized proof of finite-time singularity in the forced three-dimensional Navier-Stokes equations has driven recent trader sentiment, though CMI immediately described the problem as only “apparently settled.” The institute’s rules require peer-reviewed publication in a qualifying journal, broad community acceptance, and a two-year waiting period before any declaration, leaving the problem officially active as of late October. Parallel human-AI results on related forced Euler and Boussinesq equations by Buckmaster and Alpöge have added context but do not resolve the unforced case central to the prize formulation. Ongoing scrutiny, including an October arXiv note questioning semantic fidelity of the Lean formalization, and the absence of an accepted journal paper keep resolution timelines uncertain despite the computational milestone.
Aturan
Pasar ini akan diselesaikan sebagai "Ya" jika Clay Mathematics Institute (CMI) menganugerahkan Millennium Prize untuk masalah keberadaan dan kehalusan Navier-Stokes, atau secara resmi menyatakan dengan cara lain bahwa masalah keberadaan dan kehalusan Navier-Stokes telah terpecahkan di situs webnya atau dalam komunikasi resmi, paling lambat pada 23.59 ET pada tanggal yang tercantum. Jika tidak, pasar ini akan diselesaikan dengan hasil "Tidak". Penganugerahan Millennium Prize akan memenuhi syarat sebagai pernyataan resmi, tetapi tidak diwajibkan; pernyataan resmi CMI bahwa masalah keberadaan dan kehalusan Navier-Stokes telah terpecahkan sudah cukup dengan sendirinya. Tidak akan dipertimbangkan apakah solusi tersebut dihasilkan seluruhnya atau sebagian oleh kecerdasan buatan, maupun apakah penerima hadiah menerima atau menolak hadiah. Bukti yang diterbitkan atau diposting untuk umum tidak akan memenuhi syarat jika berdiri sendiri, terlepas dari apakah bukti tersebut diterima oleh komunitas matematika. Sumber utama untuk penyelesaian adalah informasi resmi dari Clay Mathematics Institute (misalnya, https://www.claymath.org); namun, konsensus dari pemberitaan yang kredibel dapat digunakan untuk mengonfirmasi bahwa pernyataan atau penganugerahan yang memenuhi syarat dari CMI telah terjadi.
Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.