- OpenAI จะถอนคำตอบของสมการ Navier–Stokes ภายใน 31 ธันวาคม 2026 หรือไม่?6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof showing finite-time blowup for the forced 3D Navier-Stokes equations, backed by a Lean formalization, has sustained strong market conviction against retraction. The result stems from an internal multi-agent system consuming 130 billion tokens, and while a credit dispute with mathematicians Tristan Buckmaster and Levent Alpöge plus a mismatch between the natural-language write-up and Lean code have drawn scrutiny, no fatal flaw has emerged in subsequent reviews. Recent withdrawals of unrelated OpenAI math preprints highlight the company’s willingness to correct errors quickly, yet the Navier-Stokes claim remains intact amid deliberately unhurried Clay Institute evaluation. Traders see limited realistic paths to retraction by year-end absent a verified contradiction in the machine-checked steps.
กฎ
ตลาดนี้จะตัดสินเป็น "ใช่" หาก 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 อย่างไรก็ตาม อาจใช้ข้อสรุปร่วมกันจากรายงานข่าวที่น่าเชื่อถือได้เช่นกัน
แปลด้วยเครื่อง หากมีข้อโต้แย้ง ให้ยึดต้นฉบับเป็นหลัก