- Ipahahayag ba ng CMI na nalutas na ang problemang Navier-Stokes pagsapit ng Disyembre 31, 2026?4¢4%
- Ipahahayag ba ng CMI na nalutas na ang problemang Navier-Stokes pagsapit ng Disyembre 31, 2027?14¢14%
- Ipahahayag ba ng CMI na nalutas na ang problemang Navier-Stokes pagsapit ng Disyembre 31, 2028?38¢38%
OpenAI’s September 2026 announcement that an internal multi-agent AI system produced a Lean-formalized proof of finite-time singularity in the forced three-dimensional Navier-Stokes equations has driven recent trader sentiment, though CMI immediately described the problem as only “apparently settled.” The institute’s rules require peer-reviewed publication in a qualifying journal, broad community acceptance, and a two-year waiting period before any declaration, leaving the problem officially active as of late October. Parallel human-AI results on related forced Euler and Boussinesq equations by Buckmaster and Alpöge have added context but do not resolve the unforced case central to the prize formulation. Ongoing scrutiny, including an October arXiv note questioning semantic fidelity of the Lean formalization, and the absence of an accepted journal paper keep resolution timelines uncertain despite the computational milestone.
Mga panuntunan
Mauuukol ang market na ito sa "Oo" kung igagawad ng Clay Mathematics Institute (CMI) ang Millennium Prize para sa problema ng pag-iral at kinis ng Navier-Stokes, o opisyal nitong ipahahayag sa ibang paraan sa website nito o sa isang opisyal na komunikasyon na nalutas na ang problema ng pag-iral at kinis ng Navier-Stokes, bago mag-11:59 PM ET sa nakalistang petsa. Kung hindi, maresolba ang market na ito bilang "Hindi". Bibilangin ang paggawad ng Millennium Prize bilang isang opisyal na deklarasyon, ngunit hindi ito kinakailangan; sapat na sa sarili nito ang opisyal na pahayag ng CMI na nalutas na ang problema ng pag-iral at kinis ng Navier-Stokes. Hindi isasaalang-alang kung ang solusyon ay ginawa nang buo o bahagi ng artificial intelligence, at kung tinatanggap o tinatanggihan ng sinumang tatanggap ang premyo. Hindi magiging sapat nang mag-isa ang isang patunay na nailathala o ipinaskil sa publiko, tanggapin man ito o hindi ng komunidad ng matematika. Ang pangunahing mapagkukunan para sa resolusyon ay ang opisyal na impormasyon mula sa Clay Mathematics Institute (hal., https://www.claymath.org); gayunman, maaaring gamitin ang pagkakasundo ng mga mapagkakatiwalaang ulat upang kumpirmahing naganap ang isang kwalipikadong deklarasyon o paggawad ng CMI.
Awtomatikong salin. Kapag may alitan, ang orihinal ang masusunod.