ปัญหา Navier-Stokes คืออะไร และทำไมการที่ AI แก้ได้จึงน่าตกใจ
ปัญหา Navier-Stokes คือคำถามทางคณิตศาสตร์ที่ตรวจสอบว่าสมการซึ่งใช้อธิบายการไหลของของไหลสามมิติ เช่น น้ำและอากาศ จะให้คำตอบที่เรียบเนียนและคำนวณต่อได้เสมอหรืออาจเกิดจุดที่ความเร็วพุ่งไม่สิ้นสุดภายในเวลาจำกัดจนแบบจำลองใช้ต่อไม่ได้ สมการนี้เป็นหัวใจของของไหลพลศาสตร์และถูกใช้ในงานวิศวกรรมและวิทยาศาสตร์สภาพภูมิอากาศมานาน แต่ตัวโจทย์คณิตศาสตร์เรื่องการมีอยู่และความเรียบเนียนของคำตอบกลับค้างคาโดยไม่มีพิสูจน์สมบูรณ์มากกว่า 90 ปี ทำให้มันถูกจัดเป็นหนึ่งในปัญหาแห่งสหัสวรรษที่ทรงอิทธิพลที่สุดของยุค
ในสัปดาห์ที่ผ่านมา OpenAI อ้างว่าโมเดล AI ภายในที่ยังไม่เปิดให้สาธารณะใช้ สามารถแก้ปัญหา Navier-Stokes existence and smoothness ได้สำเร็จ โดยใช้เครือข่าย AI agents ราว 10,000 ตัวร่วมกันทำงานเป็นเวลาเพียงประมาณ 88 ชั่วโมง ผลงานทั้งหมดตั้งแต่การเสนอแนวคิด จนถึงการพิสูจน์อย่างเป็นทางการถูกสร้างโดยระบบนี้ และบริษัทระบุว่าโมเดลดังกล่าวมีความสามารถสูงกว่าโมเดลธงหน้าบ้านของตัวเองอย่างมีนัยสำคัญ หากมองเชิงสัญลักษณ์ นี่คือภาพ AI แก้คณิตศาสตร์ขั้นสูงแทนมนุษย์ในโจทย์ที่นักคณิตศาสตร์ไล่ล่าคำตอบมาหลายทศวรรษ ซึ่งเปลี่ยนมุมมองว่าเราอยู่ตรงไหนในลำดับชั้นของความฉลาดเชิงนามธรรมแล้ว
ในห้องทดลองของ AI เกิดอะไรขึ้นกับสมการของไหลพลศาสตร์
เบื้องหลัง OpenAI ความก้าวหน้า ครั้งนี้ไม่ใช่ AI ตัวเดียวคิดคนเดียว แต่เป็นการระดมกองทัพราว 10,000 agents ให้ทำงานขนานบนปัญหา Navier-Stokes หลายฉบับที่นิยามไว้ต่างกัน แบ่งกลุ่มให้บางส่วนพยายามพิสูจน์ว่าสมการให้คำตอบเรียบเนียนเสมอ ขณะที่อีกกลุ่มพยายามพิสูจน์ว่ามันสามารถ “ระเบิด” เป็นความเร็วอนันต์ได้ หลังเริ่มปฏิบัติการเมื่อวันที่ 1 กันยายน จากแรงกระตุ้นข่าวลือว่าโจทย์ปัญหาแห่งสหัสวรรษสองข้ออาจถูกแก้ไขแล้ว กลุ่มที่ชนะก็หาคำตอบสำเร็จในราว 88 ชั่วโมง โดยแลกเปลี่ยนข้อความกันประมาณ 2.7 ล้านครั้งและสร้างเอาต์พุตราว 130,000 ล้านโทเคน
ตัวพิสูจน์ชี้ให้เห็นสถานการณ์เฉพาะที่สมการของไหลพลศาสตร์ล้มเหลวกล่าวคือของไหลที่เริ่มจากสภาพเรียบง่ายอยู่กับที่และมีแรงกระทำภายนอกที่เรียบเนียน สามารถพัฒนาเป็นวังวนเล็กๆ ที่หมุนวนเข้าด้านในพร้อมยืดตัวตามแกนเหมือนเส้นพาสต้า การหมุนที่เร็วขึ้นเรื่อยๆ แต่ยังรักษาพลังงานรวมให้คงที่ ทำให้ค่าความเร็วเฉพาะจุดเติบโตไม่สิ้นสุดในเวลา有限ตามนิยามโจทย์ที่ตั้งไว้ นี่ไม่ใช่การค้นพบสูตรมายากลใหม่ในของไหลพลศาสตร์ แต่มันคือการชี้ขีดจำกัดของแบบจำลองทางคณิตศาสตร์ที่เราใช้แทนความเป็นจริงอย่างตรงจุด และการที่ AI เป็นคนค้นขีดจำกัดนี้ยิ่งส่งสัญญาณว่าระบบอัตโนมัติเริ่มทำสิ่งที่มนุษย์ทำไม่ได้ในระดับโครงสร้างความรู้แล้ว
แล้วโลกจริงอย่างเครื่องบินและสภาพภูมิอากาศได้อะไรจากพิสูจน์ครั้งนี้
เมื่อข่าว AI แก้คณิตศาสตร์ ระดับโลกออกมา คำถามธรรมดาที่สุดคือ “แล้วชีวิตประจำวันเราจะเปลี่ยนไหม” คำตอบที่ตรงไปตรงมาคือ ไม่ใช่ทันที นักวิศวกรด้านอากาศยาน ระบบพยากรณ์อากาศ หรือการจำลองสภาพภูมิอากาศ ใช้สมการ Navier-Stokes ในรูปแบบประมาณและเชิงตัวเลขอยู่แล้วในการคำนวณการออกแบบปีกเครื่องบิน การจำลองลมฟ้าอากาศ การไหลเวียนเลือดในหลอดเลือด และการจำลองการไหลของควันหรืออากาศรอบรถยนต์ ระบบเหล่านี้ถูกสร้างบนสมมติฐานว่าโลกจริงเต็มไปด้วยความปั่นป่วนและความไม่เสถียร จึงออกแบบให้รับมือกับความยุ่งเหยิงได้โดยไม่ต้องรอคำตอบของโจทย์คณิตศาสตร์ที่ค้างมา 90 ปี
ดังนั้นไม่มีเครื่องบิน รถยนต์ หรือแบบจำลองสภาพภูมิอากาศใดปลอดภัยขึ้นหรือน้อยลงเพราะพิสูจน์นี้ในสัปดาห์เดียว ผลกระทบจะมาในรูปแบบอ้อมมากกว่า พิสูจน์ที่เปิดเผยสถานการณ์สุดขั้วที่แบบจำลองล้มเหลวจะช่วยให้นักวิทยาศาสตร์เข้าใจว่าเมื่อไรต้องระวังการตีความผลลัพธ์ และผลลัพธ์นี้อาจถูกฝังลงในซอฟต์แวร์จำลองของไหลพลศาสตร์ที่ดีขึ้นทีละรุ่น ไม่ใช่การกระโดดครั้งเดียว คนทั่วไปจึงควรอ่านข่าวนี้เป็นสัญญาณว่าซอฟต์แวร์ที่ออกแบบโลกของเรา ตั้งแต่เครื่องมือวิศวกรรมไปจนถึงระบบพยากรณ์ จะค่อยๆ ซับซ้อนและแม่นยำมากขึ้น ด้วยทีมที่มี AI เป็นผู้ร่วมวิจัยระดับแนวหน้ามากกว่าจะเป็นแค่เครื่องมือคำนวณ
ดราม่าเครดิตระหว่างนักคณิตศาสตร์กับบริษัท AI สะท้อนอะไรเกี่ยวกับวิทยาศาสตร์ยุคใหม่
ความตื่นเต้นจาก OpenAI ความก้าวหน้า ครั้งนี้ไม่ได้มีแค่ด้านเทคนิค แต่ยังจุดกระแสข้อขัดแย้งเรื่องเครดิตงานวิจัยด้วย เมื่อศาสตราจารย์ทริสตัน บัคมาสเตอร์จากมหาวิทยาลัยนิวยอร์ก และเลเวนท์ อัลเพอเก นักคณิตศาสตร์จากบริษัท AI อีกราย ระบุว่าพวกเขามีผลงานอิสระเกี่ยวกับสมการใกล้เคียง Navier-Stokes ที่ใช้ AI เช่น OpenAI Codex และ Claude ช่วยทำงานมาราวหนึ่งปี ข่าวลือเกี่ยวกับความคืบหน้าของงานคู่นี้เองที่เป็นชนวนให้ OpenAI เริ่มระดม agents จำนวนมากทำปัญหา Navier-Stokes อย่างจริงจังตั้งแต่ 1 กันยายน
บัคมาสเตอร์ตั้งคำถามว่า OpenAI รับรู้ความคืบหน้าของงานเขามากแค่ไหน เพราะร่างงานที่ใช้ Codex ถูกเก็บอยู่ในระบบของบริษัท และหลังการติดต่อพูดคุย OpenAI ก็เร่งประกาศว่า AI ของตนหาคำตอบปัญหา Navier-Stokes ได้แล้ว ขณะเดียวกันผลงานของคู่บัคมาสเตอร์และอัลเพอเกเกี่ยวกับตระกูลสมการ Euler ได้ถูกเผยแพร่และรับการยกย่องโดยนักคณิตศาสตร์อิสระไปแล้ว ขณะที่พิสูจน์ของ OpenAI ยังไม่ได้รับการตรวจสอบโดยผู้เชี่ยวชาญภายนอก และยังไม่ผ่านขั้นตอนตามเกณฑ์ขององค์กรที่ดูแลปัญหาแห่งสหัสวรรษ ซึ่งต้องอาศัยการตีพิมพ์และการยอมรับจากวงการกว้างก่อน ดราม่านี้สะท้อนว่าพรมแดนระหว่างการค้นพบโดยนักวิชาการและโดยระบบ AI ในมือบริษัทเอกชนกำลังเบลอ และสังคมวิทยาศาสตร์ยังต้องถกกันต่อว่าจะจัดการเรื่องเครดิตและความโปร่งใสอย่างไร
บทสรุป: AI ที่แก้โจทย์สหัสวรรษได้กำลังบอกอนาคตของความรู้มนุษย์
แม้ปัญหา Navier-Stokes ยังไม่ถูกประกาศว่าแก้สำเร็จอย่างเป็นทางการ พิสูจน์ของ OpenAI ก็เผยให้เห็นภาพสำคัญประการเดียว คือ AI แก้คณิตศาสตร์ ระดับที่มนุษย์ตามไม่ทันได้แล้ว ระบบที่ยังไม่เปิดตัวต่อสาธารณะสามารถใช้พันธกิจของไหลพลศาสตร์เป็นสนามพิสูจน์ตัวเอง สร้างคำตอบในโจทย์ที่นักคณิตศาสตร์ไล่ล่ามาหลายสิบปี ในเวลาต่ำกว่าสี่วันด้วยการประสานงานของเอเจนต์นับพัน และการคำนวณระดับหลายร้อยพันล้านโทเคน นี่เป็นตัวอย่างของ AI ที่ไม่ได้แค่ตอบโจทย์เดิมๆ แต่เริ่มผลักดันขอบเขตความรู้ไปข้างหน้าในพื้นที่ที่นามธรรมและลึกที่สุดของมนุษย์
อย่างไรก็ตาม ความทะเยอทะยานทางเทคนิคต้องเดินคู่กับมาตรฐานทางวิชาการและจริยธรรม ผลงานครั้งนี้ยังต้องผ่านการตรวจสอบอิสระ และสังคมต้องหาคำตอบว่าจะให้เครดิตและความรับผิดชอบระหว่างบริษัท AI กับนักวิชาการอย่างไร ถ้าเรามองข่าวนี้อย่างพินิจ สิ่งที่ควรตื่นเต้นไม่ใช่การเปลี่ยนแปลงทันทีในแบบจำลองเครื่องบินหรือพยากรณ์อากาศ แต่คือการที่โลกกำลังเข้าสู่ยุคที่การสร้างพิสูจน์คณิตศาสตร์ระดับปัญหาแห่งสหัสวรรษอาจกลายเป็นงานประจำของระบบอัตโนมัติในอนาคต สังคมจึงต้องเตรียมรับมือทั้งศักยภาพมหาศาลและคำถามใหม่ๆ เรื่องความน่าเชื่อถือ โปร่งใส และสมดุลอำนาจความรู้ที่ตามมาพร้อมกัน
