- Czy OpenAI wycofa w 2026 roku swoje rozwiązanie równań Naviera-Stokesa?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.
Zasady
Rynek zostanie rozstrzygnięty na „Tak”, jeśli OpenAI wycofa swoje rozwiązanie równań Naviera-Stokesa między utworzeniem rynku a 31 grudnia 2026 o 23:59 ET. W przeciwnym razie ten rynek zostanie rozstrzygnięty na „Nie”. Rozwiązanie równań Naviera-Stokesa OpenAI oznacza rozwiązanie, które OpenAI ogłosiło 8 września 2026 (https://openai.com/index/navier-stokes-solution/). Wycofanie spełnia kryteria, gdy OpenAI oficjalnie i publicznie oświadczy, że opublikowany dowód był błędny lub nie rozwiązuje problemu Naviera-Stokesa. Oświadczenia jakiejkolwiek innej strony nie spełniają kryteriów. Korekty, które nie podważają poprawności pierwotnego dowodu jako rozwiązania problemu Naviera-Stokesa, nie spełniają kryteriów. Oświadczenia dotyczące autorstwa, zasług lub przypisania wyniku albo tego, czy kwalifikuje się on do Millennium Prize, same w sobie nie spełniają kryteriów. Podstawowym źródłem rozstrzygnięcia tego rynku będą oficjalne informacje od OpenAI; można jednak również wykorzystać zgodne doniesienia wiarygodnych mediów.
Tłumaczenie maszynowe. W razie sporu obowiązuje oryginał.