- Apakah CMI akan menyatakan suatu Masalah Milenium telah terpecahkan paling lambat pada 31 Desember 2026?3¢3%
- Apakah CMI akan menyatakan suatu Masalah Milenium telah terpecahkan paling lambat pada 31 Desember 2027?13¢13%
- Apakah CMI akan menyatakan suatu Masalah Milenium telah terpecahkan paling lambat pada 31 Desember 2028?36¢36%
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
Aturan
Pasar ini akan diselesaikan sebagai "Ya" jika Clay Mathematics Institute (CMI) menganugerahkan Millennium Prize untuk salah satu dari enam Millennium Prize Problems yang masih belum terpecahkan, atau secara resmi menyatakan bahwa salah satu masalah tersebut telah terpecahkan di situs webnya atau dalam komunikasi resmi, paling lambat 23.59 ET pada tanggal yang tercantum dalam judul. Jika tidak, pasar ini akan diselesaikan dengan hasil "Tidak". Pasar ini akan diselesaikan semata-mata berdasarkan pernyataan yang memenuhi syarat dari CMI bahwa salah satu dari enam Millennium Prize Problems yang masih belum terpecahkan telah terpecahkan, terlepas dari apakah solusinya berupa bukti positif, contoh tandingan, sanggahan, atau penyelesaian lain yang diterima oleh CMI. Penganugerahan Millennium Prize akan dianggap sebagai pernyataan resmi, tetapi tidak diwajibkan; pernyataan resmi CMI bahwa suatu masalah telah terpecahkan sudah cukup. 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.