- Bawiin kaya ng OpenAI ang solusyon nito sa Navier–Stokes pagsapit ng Disyembre 31, 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.
Mga panuntunan
Maresolba ang market na ito sa "Oo" kung babawiin ng OpenAI ang solusyon nito sa Navier-Stokes sa pagitan ng paglikha ng market at Disyembre 31, 2026, 11:59 PM ET. Kung hindi, maresolba ang market na ito bilang "Hindi". Ang solusyon ng OpenAI sa Navier-Stokes ay tumutukoy sa solusyon sa Navier-Stokes na inanunsyo ng OpenAI noong Setyembre 8, 2026 (https://openai.com/index/navier-stokes-solution/). Kwalipikado ang pagbawi kapag opisyal at pampublikong sinabi ng OpenAI na mali ang nailathalang patunay o hindi nito nalulutas ang problema sa Navier-Stokes. Hindi kwalipikado ang mga pahayag ng anumang ibang panig. Hindi kwalipikado ang mga rebisyong hindi bumabawi sa katumpakan ng unang patunay bilang solusyon sa problema sa Navier-Stokes. Hindi sapat nang mag-isa ang mga pahayag tungkol sa may-akda, pagkilala, o pag-uugnay ng resulta, o tungkol sa pagiging kwalipikado nito para sa Millennium Prize. Ang pangunahing mapagkukunan sa pagresolba ng market na ito ay ang opisyal na impormasyon mula sa OpenAI; gayunman, maaari ring gamitin ang pinagkaisahan ng mga mapagkakatiwalaang ulat.
Awtomatikong salin. Kapag may alitan, ang orihinal ang masusunod.