- Ipahahayag ba ng CMI na nalutas na ang isang Millennium Prize Problem pagsapit ng Disyembre 31, 2026?3¢3%
- Ipahahayag ba ng CMI na nalutas na ang isang Millennium Prize Problem pagsapit ng Disyembre 31, 2027?13¢13%
- Ipahahayag ba ng CMI na nalutas na ang isang Millennium Prize Problem pagsapit ng Disyembre 31, 2028?36¢36%
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
Mga panuntunan
Maresolba ang market na ito bilang "Oo" kung maggagawad ang Clay Mathematics Institute (CMI) ng Millennium Prize para sa alinman sa anim na natitirang Millennium Prize Problems na hindi pa nalulutas, o opisyal nitong ideklara sa website nito o sa isang opisyal na komunikasyon na nalutas na ang alinman sa mga problemang ito, bago mag-11:59 PM ET sa petsang tinukoy sa pamagat. Kung hindi, maresolba ang market na ito bilang "Hindi". Ibabatay lamang ang resolusyon ng market na ito sa isang kwalipikadong deklarasyon ng CMI na nalutas na ang isa sa anim na natitirang Millennium Prize Problems na hindi pa nalulutas, anuman ang anyo ng solusyon—positibong patunay, kontrahalimbawa, pagpapabulaan, o anumang iba pang resolusyong tinatanggap ng CMI. Ituturing na opisyal na deklarasyon ang paggawad ng Millennium Prize, ngunit hindi ito kinakailangan; sapat na nang mag-isa ang opisyal na pahayag ng CMI na nalutas na ang isang problema. 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.