ปัญหา Navier-Stokes คืออะไร และทำไมการที่ AI แก้ได้จึงไม่ใช่เรื่องไกลตัว
ปัญหา Navier-Stokes คือคำถามทางคณิตศาสตร์ว่าระดับสมการที่ใช้บรรยายการเคลื่อนที่ของของไหลสามมิติ เช่น อากาศและน้ำ จะให้คำตอบที่เรียบ ลื่น ไม่ระเบิดค่าความเร็วเป็นอนันต์เสมอหรือไม่ เมื่อเริ่มจากสภาวะเริ่มต้นที่เรียบและธรรมดา การมีหรือไม่มีจุดที่สมการ “แตกสลาย” ส่งผลต่อความเข้าใจเชิงทฤษฎีเกี่ยวกับของไหลพลศาสตร์และความน่าเชื่อถือของแบบจำลองฟิสิกส์ในอุดมคติ หัวใจของข่าวคือ OpenAI อ้างว่าระบบภายในของตนแก้ปัญหา Navier-Stokes existence and smoothness ซึ่งเป็นหนึ่งใน Millennium Prize Problems ได้ โดยใช้โมเดลที่ทรงพลังยิ่งกว่า GPT-6 Astra และสร้างพิสูจน์ครบพร้อมรูปแบบ Lean สำหรับตรวจสอบด้วยเครื่อง นี่ไม่ใช่เพียงชัยชนะของคณิตศาสตร์ แต่คือสัญญาณเตือนว่าเรากำลังเข้าสู่ยุคที่ AI ทำลายคณิตศาสตร์ในฐานะสนามประลองเฉพาะมนุษย์ เพราะงานที่นักคณิตศาสตร์ล่ามาหลายสิบปี กลับถูกโมเดลนับหมื่นตัวทำสำเร็จในเวลาไม่กี่วัน
เบื้องหลังพิสูจน์ของ AI: จากข่าวลือสู่การประมวลผลโดยเอเย่นต์นับหมื่น
สิ่งที่ทำให้กรณีนี้สั่นสะเทือนวงการไม่แพ้ตัวผล คือวิธีที่ AI เข้าโจมตีปัญหา Navier-Stokes OpenAI ระบุว่าพวกเขาเทรนโมเดลภายในตัวใหม่มาตั้งแต่ปลายเดือนสิงหาคม และเมื่อวันที่ 1 กันยายน ได้ยินข่าวลือว่ามีการแก้ Millennium Prize Problems ได้แล้ว จึงปล่อยโมเดลนี้เข้าโจมตีทุกปัญหาที่เปิดอยู่พร้อมกัน โดยใช้ระบบเอเย่นต์ร่วมมือกันราว 10,000 ตัว ที่อ่านสแน็ปช็อตอินเทอร์เน็ตและรันโค้ดได้ ผลลัพธ์คือโมเดลนี้หาพิสูจน์การเกิด singularity แบบ finite-time blow-up สำหรับเวอร์ชันบังคับของสมการ Navier-Stokes และแปลงเป็นพิสูจน์ Lean ที่เครื่องตรวจสอบได้เต็มรูปแบบ แก่นของกลไกที่ค้นพบคือวอร์ติเคิลเล็กที่หมุนและยืดตัวเหมือนเส้นพาสต้า หมุนเร็วขึ้นเรื่อยๆ ขณะที่พลังงานรวมยังคงจำกัด จนความเร็วท้องถิ่นพุ่งเป็นอนันต์ในเวลาจำกัด ภาพนี้ทำให้วงการเห็นชัดว่า AI ไม่ได้เก่งแค่มองรูป แต่สามารถไต่ตรรกะระดับลึกของฟิสิกส์เชิงคณิตศาสตร์ได้แล้ว
ศึกเครดิตระหว่างนักคณิตศาสตร์กับ OpenAI: เมื่อ AI กลายเป็นผู้เล่นในเกมชื่อเสียง
ขณะเดียวกัน การอ้างชัยชนะนี้ของ OpenAI จุดชนวนดราม่าครั้งใหญ่ในชุมชนคณิตศาสตร์ นักคณิตศาสตร์ Tristan Buckmaster จาก NYU และ Levent Alpöge ผู้ทำงานที่ห้องวิจัยคู่แข่ง ใช้โมเดลภาษาอย่าง Claude และ Codex ไล่ตามแนวพิสูจน์การเกิด blow-up มาราวหนึ่งปี และมีความก้าวหน้าบนสมการของไหลอื่นทั้ง incompressible porous media, Boussinesq และ 3D incompressible Euler ก่อนที่เรื่องราวของ OpenAI จะเปิดเผยต่อสาธารณะ Buckmaster ระบุว่าเขารู้เมื่อ 3 กันยายนว่าข่าวเกี่ยวกับงานของเขาไปถึง OpenAI และอีกสามวันต่อมาก็ได้รับแจ้งว่าโมเดลภายในของ OpenAI หา proof blow-up ได้เช่นกันสำหรับ Navier-Stokes แบบมีแรงบังคับ ซึ่งแนวทางฟังดูคล้ายกับของเขามาก ความขัดแย้งทวีคูณเมื่อมีการสนทนาเรื่องการเผยแพร่และการใส่ชื่อผู้เขียน ที่มีข้อเสนอให้ตัดชื่อ Alpöge เพราะอยู่ในห้องวิจัยคู่แข่ง ช่วงเวลานี้เองที่คำถามเรื่อง AI ทำลายคณิตศาสตร์ในความหมายของเกมเครดิตและแรงจูงใจทางวิชาการเริ่มดังขึ้น นักวิจารณ์บางคนเตือนว่า แค่ข่าวลือว่ามีคำตอบ อาจกระตุ้นให้สถาบันทุ่มงบมหาศาลกับ LLM เพื่อวิ่งแซงหน้าให้ทันก่อนใคร
OpenAI ตอบโจทย์ความโปร่งใสอย่างไร และบทเรียนเรื่องข้อมูลผู้ใช้
ภายใต้กระแสวิจารณ์ OpenAI ต้องออกแถลงย้ำจุดยืนอย่างชัดเจนว่า ทั้งนักวิจัยและเอเย่นต์ของตนไม่ได้เห็นผลงานของ Buckmaster และ Alpöge ไม่ว่าช่องทางใด ก่อนที่ทั้งคู่จะเผยแพร่ต่อสาธารณะ และไม่ได้เข้าถึงข้อมูลผู้ใช้เฉพาะเจาะจงของพวกเขาเพื่อแก้ปัญหานี้ นี่คือหนึ่งในประโยคที่ควรถูกจดจำ เพราะจะถูกหยิบมาย้อนถามทุกครั้งที่เกิดข้อกังขาเรื่องข้อมูลและเครดิตในงานวิจัยที่ใช้ AI หนักขึ้นเรื่อยๆ ข้อเท็จจริงอีกด้านคือ ทั้งสองนักคณิตศาสตร์เองก็ใช้โมเดลภาษาขนาดใหญ่ในงานของตนอย่างเข้มข้น โดยใส่ร่างพิสูจน์และไอเดียลงในระบบ Codex ตลอดโปรเจกต์ยาวเกือบปี นั่นทำให้คำถามเรื่องข้อมูลฝึกโมเดลกลายเป็นประเด็นกลาง ไม่ใช่รายละเอียดเล็กน้อยอีกต่อไป กรณีนี้จึงควรถูกใช้เป็นแรงกดดันให้วงการ AI ตั้งมาตรฐานการจัดการข้อมูลวิจัยและการพิสูจน์แหล่งอิทธิพลของโมเดลให้โปร่งใสกว่านี้ ไม่อย่างนั้นศึกเครดิตจะกลายเป็นศึกความไว้วางใจในระดับสาธารณะ
แล้วชีวิตเราจะเปลี่ยนอย่างไร: จากห้องแล็บของไหลพลศาสตร์สู่เครื่องบินและภูมิอากาศ
สำหรับคนทั่วไป คำถามสำคัญคือ ผลนี้กระทบชีวิตจริงแค่ไหน คำตอบคือ ผลทางตรงยังจำกัด แต่ผลระยะยาวน่าจับตา ปัญหา Navier-Stokes เกี่ยวข้องโดยตรงกับของไหลพลศาสตร์ เพราะสมการนี้คือกระดูกสันหลังของทุกอย่างที่มีของไหลเคลื่อนที่ ไม่ว่าจะเป็นอากาศ น้ำ เลือด หรือน้ำมัน วิศวกรใช้สมการในเวอร์ชันประมาณค่าเพื่อออกแบบปีกเครื่องบิน ทำนายอากาศ จำลองการไหลเวียนเลือด และการไหลของควันหรืออากาศรอบรถยนต์ อย่างไรก็ตาม การพิสูจน์ของ OpenAI เป็นหมุดหมายด้านคณิตศาสตร์และ AI มากกว่าเป็นสูตรสำเร็จใหม่ในซอฟต์แวร์วิศวกรรม รายงานหนึ่งชี้ชัดว่า ไม่มีเครื่องบิน พยากรณ์อากาศ หรือการออกแบบรถคันไหนที่ปลอดภัยขึ้นหรือลดลงจากสัปดาห์ที่แล้วเพราะผลนี้ เพราะเครื่องมือปัจจุบันเดินหน้ามาก่อนแล้วโดยใช้วิธีเชิงตัวเลขและการประมาณที่รับมือความปั่นป่วนได้อยู่แล้ว แต่สิ่งที่เปลี่ยนคือ เราได้เห็นต้นแบบ AI ที่พิสูจน์ปัญหาวิทยาศาสตร์พื้นฐานที่มนุษย์ไล่ตามมาหลายสิบปีได้ในไม่กี่วันด้วยเอเย่นต์นับพัน นั่นหมายถึงรุ่นถัดไปของซอฟต์แวร์ออกแบบอากาศยาน แบบจำลองภูมิอากาศ และงานวิจัยของไหลพลศาสตร์อาจกระโดดครั้งใหญ่ โดยมี AI เป็นผู้ช่วยออกแบบสมการ แนวคิด และโค้ดแบบที่นักวิทยาศาสตร์เดิมทำไม่ไหวลำพัง
