Clay Institute ออกแถลงว่าโจทย์ Navier–Stokes "ดูเหมือนจะได้ข้อยุติแล้ว" โดยไม่เอ่ยชื่อ OpenAI — ขณะที่ OpenAI ถอนสปอนเซอร์ Caltech Mathathon

ห้าวันหลัง OpenAI ประกาศว่าระบบเอเจนต์ของตัวเองพิสูจน์ finite-time blowup ของสมการ Navier–Stokes แบบมีแรงกระทำได้ (เราสรุปข้อพิพาทไว้แล้ว) องค์กรที่ถือกุญแจรางวัลหนึ่งล้านดอลลาร์ก็ออกมาพูดเป็นครั้งแรก เมื่อ 11 ก.ย. 2026 Clay Mathematics Institute (CMI) เผยแพร่ Navier-Stokes Announcement ที่มีประโยคหลักว่า

“วันนี้ CMI ร่วมตื่นเต้นไปกับประชาคมคณิตศาสตร์ทั่วโลก ขณะที่เราพิจารณาการประกาศว่าโจทย์ Navier-Stokes ดูเหมือนจะได้ข้อยุติแล้ว (has apparently been settled)”

สิ่งที่แถลงการณ์ ไม่ได้ พูดสำคัญพอ ๆ กับสิ่งที่พูด ในแถลงไม่มีชื่อ OpenAI ไม่มีชื่อผู้แก้ ไม่บอกว่าเป็นแนวทางไหน และปิดท้ายว่ากติกาของรางวัลกำหนดขั้นตอนประเมินผลงานและการให้เครดิตไว้แล้ว “กระบวนการนี้ตั้งใจให้ไม่เร่งรีบ แต่เราจะแจ้งความคืบหน้า”

อ่านคำว่า “apparently” ให้ถูก

แถลงนี้ไม่ใช่การรับรองผล และไม่ใช่การมอบรางวัล กติกา Millennium Prize ที่บอร์ด CMI รับรองเมื่อ 26 ก.ย. 2018 กำหนดว่า CMI จะยังไม่พิจารณาผลงานใดจนกว่าจะครบ สามเงื่อนไข คือ (1) ตีพิมพ์ใน Qualifying Outlet (2) ผ่านไปแล้ว อย่างน้อยสองปีหลังตีพิมพ์ และ (3) ได้รับการยอมรับทั่วไปจากประชาคมคณิตศาสตร์โลก ถ้านับจากวันนี้ รางวัลจึงเกิดขึ้นเร็วที่สุดได้ในปี 2028

แต่ที่แถลงนี้มีน้ำหนักก็เพราะเลือกใช้คำว่า “settled” แม้จะมีคำว่า “apparently” กำกับ แทนที่จะเรียกว่า “ข้ออ้าง” (claim) ย่อหน้าก่อนหน้าในแถลงยังพูดถึง “ความสามารถที่เพิ่มขึ้นของเทคโนโลยีใหม่ในการเร่งงานวิจัยคณิตศาสตร์” ว่าเป็นส่วนหนึ่งของความคาดหวังที่สะสมมา ซึ่งเป็นการยอมรับทางอ้อมว่า AI มีบทบาทในเรื่องนี้ ข้อควรจำเพิ่มคือผลของ OpenAI เป็น blowup แบบ มีแรงกระทำ (forced) ซึ่งตรงกับข้อ (C)/(D) ในคำอธิบายโจทย์ทางการของ Fefferman จึงนับเป็นการ “ได้ข้อยุติ” ในทางปฏิเสธ ไม่ใช่การพิสูจน์ว่าคำตอบเรียบมีอยู่เสมอ

EMS: หมุดหมาย แต่โมเดลปิด

หนึ่งวันก่อนหน้า (10 ก.ย.) European Mathematical Society ออกแถลง ลงนามโดยประธาน Jan Philip Solovej และกรรมการบริหาร เรียกผลนี้ว่า “หมุดหมายในประวัติศาสตร์คณิตศาสตร์” และชื่นชม “ความเร็วที่ทีมนักคณิตศาสตร์กับเครื่องจักรไปถึงคำตอบ” แต่ระบุว่ามี “ปัญหาใหญ่” คือโมเดลที่ใช้เป็นโมเดลภายในของ OpenAI ที่คนทั่วไปเข้าถึงไม่ได้ ซึ่งขัดกับหลัก open science และความเท่าเทียมในการทำวิทยาศาสตร์ EMS ยังบอกว่าคำถามเรื่องการเป็นผู้เขียนและเครดิต “ในโลกคณิตศาสตร์ใหม่ที่ผลิตโดยปฏิสัมพันธ์ระหว่างมนุษย์กับเครื่องจักร” ยังต้องหาข้อยุติ

OpenAI ถอยจาก Caltech Mathathon

ในวันเดียวกัน OpenAI ถอนสปอนเซอร์ Caltech Mathathon ซึ่งเป็นแฮกกาธอนที่ให้ทีมใช้ LLM โจมตีโจทย์วิจัยที่ยังเปิดอยู่ รอบแรกจะเริ่ม 30 ต.ค. แต่ละทีมได้ 40 ชั่วโมงและเครดิต AI $20,000 โดย OpenAI ออกให้ครึ่งหนึ่ง (Gizmodo) การถอนตัวเกิดหลังนักคณิตศาสตร์ที่เป็นหรือเคยเป็นบุคลากรของ Caltech เผยแพร่จดหมายเปิดผนึกที่ proofsandprompts.com เรียกงานคณิตศาสตร์แบบ “slop” ที่ AI ผลิตว่าเป็นการประพฤติมิชอบทางวิชาการ Dan Roberts นักวิทยาศาสตร์ของ OpenAI เขียนว่า “หลังพิจารณาข้อกังวลจากสมาชิกประชาคมคณิตศาสตร์ เราตัดสินใจถอนการสนับสนุน Caltech Mathathon ของ OpenAI และแจ้งผู้จัดแล้ว” ผู้จัดตอบว่ากำลังคุยกับบริษัทอื่นมาแทน และไม่คาดว่างานจะได้รับผลกระทบมาก ส่วนแถลงการณ์ของผู้ได้เหรียญ Fields 25 คนที่ออกมาในช่วงเดียวกัน เราเขียนแยกไว้แล้ว

มุมมอง AI Curator

ภาพรวมของสัปดาห์นี้แปลกดี สถาบันที่ระมัดระวังที่สุดในวงการ (CMI) ใช้คำว่า “settled” ภายในสามวัน ขณะที่ความขัดแย้งเรื่อง วิธี ที่ได้ผลนั้นมากลับยิ่งบานปลาย ทั้งเรื่องเครดิตของ Buckmaster กับ Alpöge ทั้งการที่ EMS ติงเรื่องโมเดลปิด และการถอนตัวจาก Mathathon อ่านรวมกันแล้ว วงการคณิตศาสตร์กำลังแยกคำถาม “ผลถูกไหม” ออกจากคำถาม “ผลได้มาอย่างไรและใครควรได้เครดิต” คำถามแรกดูจะมีคำตอบเร็วกว่าที่ใครคาด ส่วนคำถามที่สองยังไม่มีกติกาใดรองรับ

สำหรับนักพัฒนาและนักวิจัยในไทย ประเด็นที่ EMS ยกขึ้นมาคือประเด็นที่ควรจับตาที่สุด ถ้าผลระดับ Millennium Prize ต้องใช้เอเจนต์ราว 10,000 ตัวบนโมเดลภายในที่ไม่มีใครเช่าได้ ความได้เปรียบทางวิทยาศาสตร์ก็จะไปกองอยู่ที่แล็บไม่กี่แห่ง มหาวิทยาลัยในภูมิภาคที่มีงบคอมพิวต์จำกัดจะเหลือบทบาทแค่ “ผู้ตรวจ” มากกว่า “ผู้ค้นพบ” การที่ Lean certificate กำลังกลายเป็นมาตรฐานของการยืนยันผลเป็นข่าวดีข้อเดียวในเรื่องนี้ เพราะมันทำให้คนนอกตรวจผลได้โดยไม่ต้องเข้าถึงโมเดล ส่วนสองปีข้างหน้าจนถึงวันที่ CMI ตัดสินจะบอกเราว่า “ใครได้เครดิต” ในยุคที่เอเจนต์เป็นคนทำงานหนักจะหน้าตาเป็นอย่างไร

แหล่งข่าว

• Clay Mathematics Institute — Navier-Stokes Announcement (11 ก.ย. 2026)
• Clay Mathematics Institute — Rules for the Millennium Prize Problems
• European Mathematical Society — EMS statement on recent Navier–Stokes announcement (10 ก.ย. 2026)
• Gizmodo — OpenAI will no longer sponsor Caltech ‘Mathathon’ (11 ก.ย. 2026)