Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
ตลาดนี้จะตัดสินเป็น "ใช่" หาก Anthropic หรือตัวแทนอย่างเป็นทางการของ Anthropic ประกาศว่า Anthropic แก้ปัญหารางวัลมิลเลนเนียมที่เข้าเกณฑ์ข้อใดข้อหนึ่งได้แล้ว ภายในเวลา 23:59 ET ของวันที่ระบุไว้ในชื่อ มิฉะนั้น ตลาดนี้จะตัดสินเป็น "ไม่" ปัญหาที่เข้าเกณฑ์ ได้แก่ สมมติฐานรีมันน์, ปัญหา P เทียบกับ NP, ปัญหาการมีอยู่ของหยาง-มิลส์และช่องว่างมวล, ข้อคาดการณ์ฮอดจ์ และข้อคาดการณ์เบิร์ชและสวินเนอร์ตัน-ไดเออร์ (https://www.claymath.org/millennium-problems/) ประกาศเกี่ยวกับปัญหาการมีอยู่และความเรียบของสมการนาเวียร์-สโตกส์จะไม่เข้าเกณฑ์ ประกาศที่เข้าเกณฑ์ต้องระบุว่าปัญหาได้รับการแก้ไขแล้ว ประกาศผลลัพธ์บางส่วนหรือความคืบหน้าไปสู่การแก้ปัญหาจะไม่เข้าเกณฑ์ ประกาศดังกล่าวต้องระบุว่าผลงานการแก้ปัญหาเป็นของ Anthropic นักวิจัยของ Anthropic หรือโมเดลของ Anthropic ไม่ว่าจะทำเพียงลำพังหรือร่วมกับนักวิจัยภายนอก ประกาศที่เพียงให้เครดิตหรือแสดงความยินดีกับนักวิจัยภายนอก รวมถึงนักวิจัยที่ใช้โมเดล ทรัพยากรการประมวลผล หรือเครดิตการวิจัยของ Anthropic จะไม่เข้าเกณฑ์ ไม่จำเป็นต้องได้รับการยืนยันเพิ่มเติมจาก Clay Math Institute หรือองค์กรอื่นใด แหล่งข้อมูลหลักในการตัดสินตลาดนี้คือข้อมูลอย่างเป็นทางการจาก Anthropic และ/หรือตัวแทนอย่างเป็นทางการของบริษัท อย่างไรก็ตาม อาจใช้ข้อสรุปร่วมกันจากรายงานข่าวที่น่าเชื่อถือได้ด้วย
แปลด้วยเครื่อง หากมีข้อโต้แย้ง ให้ยึดต้นฉบับเป็นหลัก