- Bawiin kaya ng OpenAI ang solusyon nito sa mga equation ng Navier-Stokes sa 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.
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.