สถาบันคณิตศาสตร์เคลย์ยอมรับต่อสาธารณะเป็นครั้งแรกว่าปัญหาการดำรงอยู่และความราบรื่นของนาเวียร์-สโตกส์ ซึ่งเป็นหนึ่งในเจ็ดปัญหารางวัลแห่งสหัสวรรษเจ็ดประการ "ดูเหมือนจะได้รับการแก้ไขแล้ว" คำแถลงดังกล่าว ซึ่งเผยแพร่บนเว็บไซต์ของสถาบันเมื่อวันศุกร์ ได้ย้ายเรื่องราวด้าน AI และคณิตศาสตร์ที่มีผู้โต้แย้งมากที่สุดแห่งปี เข้าสู่กระบวนการประเมินรางวัลอย่างเป็นทางการของสถาบัน ขณะเดียวกันก็ระบุให้ชัดเจนว่าไม่มีการมอบรางวัลและไม่มีการรับรองหลักฐาน
"วันนี้ CMI แบ่งปันความตื่นเต้นของชุมชนคณิตศาสตร์ทั่วโลกในขณะที่เราพิจารณาการประกาศที่เห็นได้ชัดว่าปัญหา Navier-Stokes ได้รับการแก้ไขแล้ว" สถาบันเขียนในประกาศลงวันที่ 11 กันยายน 2026 "เราหวังว่าจะเห็นคลื่นความเข้าใจใหม่ๆ ของมนุษย์ถูกปลดปล่อยออกมา ในขณะที่นวัตกรรมที่อยู่เบื้องหลังงานนี้ได้รับการวิเคราะห์และซักถาม" For more context on this story, see our ongoing more AI stories.
เหตุใดคำกล่าวจึงมีความสำคัญ
ภาษาที่วัดผลได้ของสถาบันกำลังทำงานอย่างหนัก และแต่ละคำก็ถูกแยกวิเคราะห์ภายในไม่กี่ชั่วโมงบน Hacker News ซึ่งการประกาศดังกล่าวรวบรวมคะแนนได้มากกว่า 100 คะแนน สิ่งที่คำกล่าวไม่ได้กล่าวนั้นมีความสำคัญพอๆ กับสิ่งที่ทำ กล่าวคือ Clay Mathematics Institute ไม่ได้ตั้งชื่อ OpenAI ไม่ได้ยืนยันว่าข้อพิสูจน์เฉพาะใด ๆ นั้นถูกต้อง และไม่ก่อให้เกิดการได้รับรางวัล
บริบทอธิบายถึงความยับยั้งชั่งใจ เมื่อวันที่ 8 กันยายน OpenAI เผยแพร่วิธีแก้ปัญหาที่อ้างสิทธิ์สำหรับปัญหา Navier-Stokes โดยระบุว่าระบบ AI ภายในที่บริษัทอธิบายไว้ว่ามีความสามารถมากกว่ารุ่น GPT-6 Astra อย่างมาก ได้จัดทำทั้งการพิสูจน์เชิงวิเคราะห์และการตรวจสอบอย่างเป็นทางการในตัวช่วยพิสูจน์แบบ Lean การประกาศดังกล่าวกลายเป็นเรื่องเครดิตพอๆ กับการคำนวณทันที เนื่องจากนักคณิตศาสตร์เชิงวิชาการสองคนเผยแพร่เอกสารที่เกี่ยวข้องกันอย่างใกล้ชิดในวันเดียวกัน และนักวิจัยกดดัน OpenAI ว่างานของเขาได้แจ้งผลลัพธ์ของเครื่องจักรแล้ว
ขณะนี้สถาบันรับทราบว่าปัญหา "ได้รับการยุติแล้ว" ข้อพิพาทได้เปลี่ยนภูมิประเทศ: จากปิงปองแถลงข่าวไปจนถึงขั้นตอนการประเมินรางวัลมิลเลนเนียม ซึ่งสถาบันอธิบายว่า "จงใจไม่เร่งรีบ"
ปัญหาของเนเวียร์-สโตกส์ถามอะไร
ปัญหาเกี่ยวข้องกับการมีอยู่และความราบรื่นของคำตอบของสมการนาเวียร์-สโตกส์ในปริภูมิยูคลิดสามมิติ ซึ่งเป็นสมการที่อธิบายว่าของเหลว เช่น น้ำและอากาศเคลื่อนที่อย่างไร แม้ว่าสมการเหล่านี้จะใช้เป็นประจำทุกวันโดยวิศวกร นักอุตุนิยมวิทยา และนักอากาศพลศาสตร์ นักคณิตศาสตร์ไม่เคยพิสูจน์ว่าวิธีแก้ปัญหาที่ราบรื่นและสมเหตุสมผลทางกายภาพนั้นมีอยู่ในสามมิติอยู่เสมอ หรือพฤติกรรมคาดเดาได้แทนที่จะพัฒนาความเป็นเอกเทศ
สถาบันคณิตศาสตร์เคลย์เปิดเผยปัญหารางวัลแห่งสหัสวรรษในการประชุมที่ปารีสเมื่อปี พ.ศ. 2543 โดยให้รางวัล 1 ล้านดอลลาร์สำหรับแต่ละปัญหาจากทั้งหมด 7 ข้อ ซึ่งรวมถึงสมมติฐานของรีมันน์และ P กับ NP ด้วย ในแถลงการณ์เมื่อวันศุกร์ สถาบันได้ย้ำเหตุผลเดิม: เพื่อยกระดับการรับรู้ของสาธารณชนว่าขอบเขตทางคณิตศาสตร์เปิดกว้าง และเพื่อรับรู้ "ความสำเร็จทางคณิตศาสตร์ที่มีขนาดทางประวัติศาสตร์"
ปัญหาเพียงหนึ่งในเจ็ดปัญหาคือ Poincaré Conjecture ซึ่งได้รับการแก้ไขแล้ว โดย Grigori Perelman ในงานที่โพสต์ในปี 2545 และ 2546 ซึ่งเขาปฏิเสธทั้งเหรียญ Fields Medal และเงินรางวัลอย่างโด่งดัง
การประเมินที่ 'ไม่เร่งรีบโดยเจตนา' ที่อยู่ข้างหน้า
ประกาศของสถาบันชี้ไปที่กฎการให้รางวัลเป็นกรอบการทำงานสำหรับสิ่งที่จะเกิดขึ้นต่อไป “กฎที่ควบคุมรางวัลจะอธิบายกระบวนการในการประเมินสิ่งที่ได้รับและสำหรับการกำหนดเครดิต” คำแถลงดังกล่าวอ่าน “กระบวนการนี้ไม่ได้ตั้งใจจะเร่งรีบ แต่เราจะแจ้งข้อมูลอัปเดตให้ทราบ”
การใช้ถ้อยคำดังกล่าวทำให้เกิดคำถามหลายข้อที่ชุมชนคณิตศาสตร์กำลังถกเถียงกันอย่างเปิดเผย การยืนยันเป็นอุปสรรค์แรก: การพิสูจน์ความราบรื่นของ Navier-Stokes โดยปกติแล้วจะใช้เวลาหลายเดือนโดยคณะกรรมการผู้เชี่ยวชาญในการตรวจสอบทีละบรรทัด การกล่าวอ้างของ OpenAI ว่าผลลัพธ์นั้นรวมถึงการตรวจสอบอย่างเป็นทางการของเครื่องจักรใน Lean โดยหลักการแล้วสามารถบีบอัดไทม์ไลน์นั้นได้อย่างมาก เนื่องจากการตรวจสอบอย่างเป็นทางการจะช่วยลดคำถามเรื่องความถูกต้องในสิ่งที่ผู้ช่วยพิสูจน์อักษรจะยอมรับ แต่สถาบันไม่ได้บอกว่าได้มีการส่งแบบฟอร์มดังกล่าวไปแล้วหรือไม่ ใครเป็นผู้ตัดสิน หรือจะให้เครดิตอย่างไรระหว่างระบบ AI ผู้สร้างระบบที่ OpenAI และนักคณิตศาสตร์เชิงวิชาการที่มีเอกสารที่เกี่ยวข้องปรากฏในสัปดาห์เดียวกัน
คำแถลงดังกล่าวไม่ได้ระบุว่าวิธีแก้ปัญหาที่มีส่วนสำคัญต่อระบบ AI นั้นมีคุณสมบัติเหมาะสมสำหรับรางวัลที่ตั้งใจไว้ในภาษาผู้ก่อตั้งของสถาบันหรือไม่ เพื่อรับรู้ถึงความสำเร็จทางคณิตศาสตร์ของมนุษย์ ซึ่งเป็นคำถามที่ไม่เคยมีมาก่อนในประวัติศาสตร์ 26 ปีของรางวัลนี้
ความตึงเครียดเบื้องหลังการประกาศ
การประกาศดังกล่าวเกิดขึ้นในช่วงเวลาที่ละเอียดอ่อนเป็นพิเศษสำหรับการมาบรรจบกันของ AI และคณิตศาสตร์ เมื่อวันศุกร์ กลุ่มผู้ได้รับรางวัล Fields Medalists จำนวน 25 ราย รวมถึง Terence Tao ได้เผยแพร่คำเตือนอย่างเป็นทางการว่าการแข่งขันเพื่อแสดงระบบ AI บนเกณฑ์มาตรฐานทางคณิตศาสตร์กำลังทำลายทั้งวิทยาศาสตร์และชุมชนที่สนับสนุนระบบดังกล่าว ซึ่งเป็นคำแถลงที่รวบรวมผู้สนับสนุนเพิ่มเติมมากกว่า 1,300 รายภายในหนึ่งวัน ตามรายงานก่อนหน้านี้โดย AI Buzz Wire
เอกสารทั้งสองอ่านเกือบจะเป็นคำตอบของกันและกัน คำประกาศของนักคณิตศาสตร์เตือนว่าอย่าปฏิบัติต่อปัญหาที่ลึกซึ้งเหมือนถ้วยรางวัลมาตรฐาน การประกาศของสถาบันแม้จะยอมรับผลดังกล่าว แต่ก็กำหนดกรอบช่วงเวลาแห่งความเข้าใจมากกว่าชัยชนะ โดยหวังว่าจะเห็น "คลื่นแห่งความเข้าใจใหม่ของมนุษย์ที่ปลดปล่อยออกมาในขณะที่นวัตกรรมที่อยู่เบื้องหลังงานนี้ได้รับการวิเคราะห์และซักถาม"
แม้แต่บัญชีของสถาบันเองในสาขาที่อยู่รายรอบก็ยังยอมรับการเปลี่ยนแปลงนี้: "ความสามารถที่เพิ่มขึ้นของเทคโนโลยีใหม่ ๆ ในการเร่งการวิจัยทางคณิตศาสตร์ได้เพิ่มความรู้สึกคาดหวังนี้มากขึ้น" คำแถลงดังกล่าวระบุ โดยให้เครดิตความก้าวหน้าล่าสุดในพื้นที่ใกล้เคียง ซึ่งบางส่วนได้รับการยอมรับจาก Clay Research Award ด้วยความหวังว่า Navier-Stokes อาจจะล่มสลายในไม่ช้า
อะไรจะเกิดขึ้นต่อไป
สำหรับตอนนี้ แนวทางปฏิบัติยังแคบแต่เป็นจริง: สถาบันที่เป็นเจ้าของปัญหาได้รับการบันทึกว่าเห็นว่าปัญหาได้รับการแก้ไขแล้ว และมุ่งมั่นที่จะอัปเดตต่อสาธารณะในขณะที่การประเมินดำเนินไป หากงานนี้รอดพ้นจากการตรวจสอบอย่างละเอียด ก็จะเป็นปัญหาแห่งสหัสวรรษครั้งที่สองได้รับการแก้ไข ครั้งแรกในรอบสองทศวรรษ และเป็นครั้งแรกในประวัติศาสตร์ที่น่าเชื่อถือในส่วนของระบบ AI ความแตกต่างที่จะกำหนดวิธีที่สถาบันคณิตศาสตร์จัดการกับข้อเรียกร้องดังกล่าวต่อไป
สถาบันขอความอดทน เนื่องจากการออกแบบแล้ว กระบวนการนี้จงใจไม่รีบร้อน คำถามของชุมชนเกี่ยวกับการพิสูจน์ เครดิต และบทบาทของเครื่องจักรที่ผลิตมัน จะได้รับคำตอบตามไทม์ไลน์ของสถาบัน ไม่ใช่ในวงจรข่าว
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
