- Apakah OpenAI akan menarik kembali solusi persamaan Navier-Stokes-nya pada 2026?6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity for the forced 3D Navier-Stokes equations—complete with a publicly released 166-page manuscript and Lean formalization—has anchored trader sentiment against retraction. The machine-verified formalization and the result’s alignment with Clay Institute statements C and D provide a high bar for any later withdrawal, even amid credit disputes with Buckmaster and Alpöge and separate retractions of other OpenAI math preprints in October. Community scrutiny continues without reported fatal errors, while the company’s decision not to claim the Millennium Prize reduces external pressure. A reversal would require discovery of a substantive flaw in the verified construction or a major shift in how the result is framed, outcomes that remain low-probability given the current verification status.
Aturan
Pasar ini akan diselesaikan sebagai "Ya" jika OpenAI menarik solusi Navier-Stokes-nya antara pembuatan pasar dan 31 Desember 2026, 23.59 ET. Jika tidak, pasar ini akan diselesaikan dengan hasil "Tidak". Solusi Navier-Stokes OpenAI merujuk pada solusi Navier-Stokes yang diumumkan OpenAI pada 8 September 2026 (https://openai.com/index/navier-stokes-solution/). Penarikan yang memenuhi syarat terjadi ketika OpenAI secara resmi dan terbuka menyatakan bahwa bukti yang diterbitkan keliru atau tidak menyelesaikan masalah Navier-Stokes. Pernyataan dari pihak mana pun selain OpenAI tidak memenuhi syarat. Revisi yang tidak menarik kebenaran bukti awal sebagai solusi untuk masalah Navier-Stokes tidak memenuhi syarat. Pernyataan mengenai kepengarangan, penghargaan, atau atribusi hasil tersebut, atau mengenai apakah hasil itu memenuhi syarat untuk Millennium Prize, tidak memenuhi syarat jika berdiri sendiri. Sumber utama untuk penyelesaian pasar ini adalah informasi resmi dari OpenAI; namun, konsensus dari pemberitaan yang kredibel juga dapat digunakan.
Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.