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.
ตลาดนี้จะตัดสินเป็น "ใช่" หาก Clay Mathematics Institute (CMI) มอบ Millennium Prize สำหรับหนึ่งใน Millennium Prize Problems ที่ยังแก้ไม่ตกอีกหกข้อ หรือประกาศอย่างเป็นทางการด้วยวิธีอื่นว่าปัญหาใดปัญหาหนึ่งเหล่านี้ได้รับการแก้ไขแล้วบนเว็บไซต์หรือในการสื่อสารอย่างเป็นทางการ ภายในเวลา 23:59 ET ของวันที่ระบุไว้ในชื่อ มิฉะนั้น ตลาดนี้จะตัดสินเป็น "ไม่" ตลาดนี้จะตัดสินโดยอาศัยเฉพาะคำประกาศที่เข้าเกณฑ์จาก CMI ว่าหนึ่งใน Millennium Prize Problems ที่ยังแก้ไม่ตกอีกหกข้อได้รับการแก้ไขแล้ว โดยไม่คำนึงว่าคำตอบจะอยู่ในรูปของบทพิสูจน์เชิงบวก ตัวอย่างโต้แย้ง การหักล้าง หรือวิธีแก้ไขอื่นใดที่ CMI ยอมรับ การมอบ Millennium Prize จะถือเป็นคำประกาศอย่างเป็นทางการ แต่ไม่ใช่ข้อกำหนดที่จำเป็น การแถลงอย่างเป็นทางการของ CMI ว่าปัญหาหนึ่งได้รับการแก้ไขแล้วก็เพียงพอในตัวเอง จะไม่นำมาพิจารณาว่าคำตอบจัดทำขึ้นทั้งหมดหรือบางส่วนโดยปัญญาประดิษฐ์หรือไม่ และผู้ได้รับรางวัลคนใดจะรับหรือปฏิเสธรางวัล บทพิสูจน์ที่ตีพิมพ์หรือเผยแพร่ต่อสาธารณะจะไม่เข้าเกณฑ์ด้วยตัวมันเอง ไม่ว่าชุมชนคณิตศาสตร์จะยอมรับบทพิสูจน์นั้นหรือไม่ก็ตาม แหล่งข้อมูลหลักในการตัดสินคือข้อมูลอย่างเป็นทางการจาก Clay Mathematics Institute (เช่น https://www.claymath.org) อย่างไรก็ตาม อาจใช้ข้อสรุปร่วมกันจากรายงานข่าวที่น่าเชื่อถือเพื่อยืนยันว่ามีคำประกาศหรือการมอบรางวัลจาก CMI ที่เข้าเกณฑ์เกิดขึ้น
แปลด้วยเครื่อง หากมีข้อโต้แย้ง ให้ยึดต้นฉบับเป็นหลัก