OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
ตลาดนี้จะตัดสินเป็น "OpenAI" หาก OpenAI หรือผู้แทนอย่างเป็นทางการของ OpenAI ประกาศว่า OpenAI แก้ปัญหา Millennium Prize ที่เข้าเกณฑ์ได้สำเร็จก่อนที่ Anthropic จะทำได้ และภายใน 31 ธันวาคม 2027 เวลา 23:59 ET ตลาดนี้จะตัดสินเป็น "Anthropic" หาก Anthropic หรือผู้แทนอย่างเป็นทางการของ Anthropic ประกาศว่า Anthropic แก้ปัญหา Millennium Prize ที่เข้าเกณฑ์ได้สำเร็จก่อนที่ OpenAI จะทำได้ และภายใน 31 ธันวาคม 2027 เวลา 23:59 ET หากไม่มีบริษัทใดประกาศเรื่องที่เข้าเกณฑ์ภายใน 31 ธันวาคม 2027, 23:59 ET หรือทั้งสองบริษัทประกาศเรื่องที่เข้าเกณฑ์ในวันปฏิทินเดียวกัน ตลาดนี้จะตัดสินแบบ 50-50 การประกาศที่เข้าเกณฑ์จากบริษัทอื่นจะไม่ทำให้การแข่งขันสิ้นสุดลงหรือส่งผลต่อการตัดสิน ปัญหาที่เข้าเกณฑ์ ได้แก่ สมมติฐานรีมันน์, ปัญหา P เทียบกับ NP, ปัญหาการมีอยู่ของหยาง-มิลส์และช่องว่างมวล, ข้อคาดการณ์ฮอดจ์ และข้อคาดการณ์เบิร์ชและสวินเนอร์ตัน-ไดเออร์ (https://www.claymath.org/millennium-problems/) ประกาศเกี่ยวกับปัญหาการมีอยู่และความเรียบของสมการนาเวียร์-สโตกส์จะไม่เข้าเกณฑ์ ประกาศที่เข้าเกณฑ์ต้องระบุว่าปัญหาได้รับการแก้ไขแล้ว ประกาศผลลัพธ์บางส่วนหรือความคืบหน้าไปสู่การแก้ปัญหาจะไม่เข้าเกณฑ์ ประกาศดังกล่าวต้องนำเสนอว่าแนวทางแก้ปัญหาเป็นผลงานของบริษัท นักวิจัยของบริษัท หรือโมเดลของบริษัท ไม่ว่าจะทำโดยลำพังหรือร่วมกับนักวิจัยภายนอก ประกาศที่เพียงให้เครดิตหรือแสดงความยินดีกับนักวิจัยภายนอก รวมถึงนักวิจัยที่ใช้โมเดล ทรัพยากรประมวลผล หรือเครดิตการวิจัยของบริษัท จะไม่เข้าเกณฑ์ ไม่จำเป็นต้องได้รับการยืนยันเพิ่มเติมจาก Clay Math Institute หรือองค์กรอื่นใด แหล่งข้อมูลหลักในการตัดสินตลาดนี้คือข้อมูลอย่างเป็นทางการจาก OpenAI และ Anthropic และ/หรือผู้แทนอย่างเป็นทางการของทั้งสองฝ่าย อย่างไรก็ตาม อาจใช้ข้อสรุปร่วมจากรายงานข่าวที่น่าเชื่อถือได้เช่นกัน
แปลด้วยเครื่อง หากมีข้อโต้แย้ง ให้ยึดต้นฉบับเป็นหลัก