- Czy OpenAI wycofa swoje rozwiązanie Naviera–Stokesa do 31 grudnia 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.
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ł.