- Akankah OpenAI menarik solusi Navier-Stokes-nya paling lambat 31 Desember 2026?6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof showing finite-time blowup for the forced 3D Navier-Stokes equations, backed by a Lean formalization, has sustained strong market conviction against retraction. The result stems from an internal multi-agent system consuming 130 billion tokens, and while a credit dispute with mathematicians Tristan Buckmaster and Levent Alpöge plus a mismatch between the natural-language write-up and Lean code have drawn scrutiny, no fatal flaw has emerged in subsequent reviews. Recent withdrawals of unrelated OpenAI math preprints highlight the company’s willingness to correct errors quickly, yet the Navier-Stokes claim remains intact amid deliberately unhurried Clay Institute evaluation. Traders see limited realistic paths to retraction by year-end absent a verified contradiction in the machine-checked steps.
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.