
Pasar ini akan menjawab "Ya" jika OpenAI menarik kembali solusi Navier-Stokes antara pembuatan pasar dan 31 Desember 2026, 23:59 ET. Jika tidak, pasar ini akan menjawab "Tidak".
Solusi Navier-Stokes OpenAI mengacu pada solusi Navier-Stokes yang diumumkan OpenAI pada 8 September 2026 (https://openai.com/index/navier-stokes-solution/).
Pencabutan yang memenuhi syarat terjadi ketika OpenAI secara resmi dan publik menyatakan bahwa bukti yang dipublikasikan tidak benar atau tidak menyelesaikan masalah Navier-Stokes. Pernyataan pihak lain mana pun tidak akan memenuhi syarat. Revisi yang tidak mencabut kebenaran bukti awal sebagai solusi masalah Navier-Stokes tidak akan memenuhi syarat. Pernyataan tentang penulis, kredit, atau atribusi hasil, atau apakah hasil tersebut memenuhi syarat untuk menerima Hadiah Milenium, tidak akan memenuhi syarat dengan sendirinya.
Sumber resolusi utama untuk pasar ini adalah informasi resmi dari OpenAI; namun, konsensus mengenai pelaporan yang kredibel juga dapat digunakan.
“OpenAI mencabut solusi Navier-Stokes pada tahun 2026?” 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.