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