- OpenAI จะถอนวิธีแก้สมการ Navier-Stokes ในปี 2026 หรือไม่?7¢7%
OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity for the forced 3D Navier-Stokes equations—complete with a publicly released 166-page manuscript and Lean formalization—has anchored trader sentiment against retraction. The machine-verified formalization and the result’s alignment with Clay Institute statements C and D provide a high bar for any later withdrawal, even amid credit disputes with Buckmaster and Alpöge and separate retractions of other OpenAI math preprints in October. Community scrutiny continues without reported fatal errors, while the company’s decision not to claim the Millennium Prize reduces external pressure. A reversal would require discovery of a substantive flaw in the verified construction or a major shift in how the result is framed, outcomes that remain low-probability given the current verification status.
กฎ
ตลาดนี้จะตัดสินเป็น "ใช่" หาก OpenAI ถอนคำตอบ Navier-Stokes ระหว่างการสร้างตลาดกับ 31 ธันวาคม 2026 เวลา 23:59 ET มิฉะนั้น ตลาดนี้จะตัดสินเป็น "ไม่" คำตอบ Navier-Stokes ของ OpenAI หมายถึงคำตอบ Navier-Stokes ที่ OpenAI ประกาศเมื่อ 8 กันยายน 2026 (https://openai.com/index/navier-stokes-solution/) การถอนที่เข้าเกณฑ์เกิดขึ้นเมื่อ OpenAI ระบุอย่างเป็นทางการและเปิดเผยต่อสาธารณะว่าข้อพิสูจน์ที่เผยแพร่นั้นไม่ถูกต้องหรือไม่สามารถแก้ปัญหา Navier-Stokes ได้ คำแถลงจากฝ่ายอื่นใดจะไม่เข้าเกณฑ์ การแก้ไขที่ไม่ได้ถอนความถูกต้องของข้อพิสูจน์ฉบับแรกในฐานะคำตอบของปัญหา Navier-Stokes จะไม่เข้าเกณฑ์ คำแถลงเกี่ยวกับผู้ประพันธ์ เครดิต หรือการระบุที่มาของผลลัพธ์ หรือเกี่ยวกับว่าผลลัพธ์นั้นมีคุณสมบัติเข้าชิง Millennium Prize หรือไม่ จะไม่เข้าเกณฑ์ด้วยตัวเอง แหล่งข้อมูลหลักในการตัดสินตลาดนี้คือข้อมูลอย่างเป็นทางการจาก OpenAI อย่างไรก็ตาม อาจใช้ข้อสรุปร่วมกันจากรายงานข่าวที่น่าเชื่อถือได้เช่นกัน
แปลด้วยเครื่อง หากมีข้อโต้แย้ง ให้ยึดต้นฉบับเป็นหลัก